一种只具有一个输出通道的组合电路.

A combinational circuit with only one output channel.

从总体上看，时序电路由组合电路和存储电路两部分组成。

In general, the sequential circuits by combinational circuits and storage circuit two parts.

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

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

对组合电路的测试提出了一种将确定性测试生成方法与内建自测试相结合的设计方案；

A fast and improved method for BIST is introduced, which is aimed to improve the fault test method for combinational circuit.

为了提高组合电路的等价性验证速度，提出了一种利用电路内部等价信息的新型验证方法。

To increase the speed of equivalence checking for combinational circuits, a new method using internal equivalence information of circuits in verification was proposed.

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

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

等价验证可以分为组合电路的等价验证和时序电路的等价验证.

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

组合电路的等价验证算法目前已发展比较成熟，但它是时序电路等价验证的基础。

The algorithm of combinational equivalence checking has become mature. But it is the basic of sequential equivalence checking.