Equivalence checking can be divided into two directions : combinational equivalence checking and sequential equivalence checking.

This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm.

摘要讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术.

The research of this paper is based on the Boolean Satisfiability ( SAT ) Problem of combinational circuit.

本文研究工作是针对可满足问题 ( SAT ) 在组合电路验证和测试中的应用展开的.

Here, standard units include basic gate circuits, flip-flops and other basic combinational logic circuits.

在这里, 标准单元是指基本的门电路, 触发器或其他基本组合逻辑电路.

Digital Design: Binary System , Boolean Algebra, Logic Gates , Simplification of Boolean Functions , Combinational Logic.

数位设计: 二进位制 、 氏代数 、 辑闸 、 氏函数的化简、合逻辑电路.

As I already mentioned, vases have over 100 combinations.

就像我提到的那样, 瓶子有超过100个种类.

Hybrid network Hybrid networks are combinations of star, ring, and bus networks.

混合型网络是星型 、 环型和总线型网络的组合.

Why couldn't we just reprogram the old combinations?

为什么我们不能重新用旧的密码组合?

The trade which employs but a small number of hands , runs most easily into such combinations.

所雇劳动者人数有限的行业, 最容易形成这类结合.

We will establish some results that give insight into the nature of combinations.

我们将建立某些基本结果,这些结果使我们更能洞察组合的本质.

They are combinations of politicians who are pursuing power.

它们是追求权力的政客的结合体.

Gaseous, liquid, or slurry propellants may be used in various combinations.

气态, 液体或胶状推进剂可能用于各种不同组合中.

Newness in physics is merely the newness of arrangements or combinations.

物理学中的新只是排列或组合的新.

The music students are learning how to score tunes for various combinations.

学音乐的学生把曲调改编为各种器乐组曲.

Research on the Combinative Effect of Lemon-acid and Probiotic on Growth Proporty Auratus.

与柠檬酸和益生素结合使用对彭泽鲫生长性能影响的研究>>相似的文献.

Project of combinative Bao Gang is actual, discuss foreign facility supply with administrative issue.

结合宝钢工程建设实际, 探讨国外设备的供给与治理问题.

Theory of combinative discussion capital will conduce to what labor value discusses deepening.

结合讨论资本理论将有助于劳动价值讨论的深化.

Redundancy allocation is a combinatorial optimization problem of system design.

冗余分配是系统设计中的组合优化问题.

Traveling salesman problem ( TSP ) is a typical NP complete combinatorial optimum problem.

摘要旅行商问题 ( TSP ) 是典型的NP完全组合优化问题.

Locomotive working diagram is a multi-constraint combinatorial optimization problem.

机车周转图的编制是多约束条件的组合优化问题.

A new combinatorial dispatching rule, RAN ( FCFS, ODD ), and a heuristic method are designed.

设计了一种组合式调度规则RAN ( FCFS, ODD ), 并提出了基于规则的启发式算法以及该类动态Jobshop 调度问题的算例生成方法.