摘要: 分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
关键词:
等价性检验,
组合电路,
二叉判定图,
布尔可满足,
自动测试向量产生
Abstract: This paper analyzes general equivalence checking methods, discusses combinational equivalence checking methods, studies characteristics and applications of the methods. At the end of this paper, laws of evolution of combinational equivalence checking are summarized and the direction of study on the combinational equivalence checking is indicated.
Key words:
Equivalence check,
Combinational circuits,
Binary decision diagram(BDD),
Boolean satisfiability,
Automatic test pattern generation (ATPG)
曾 琼;闫 炜. 组合电路等价性检验方法研究[J]. 计算机工程, 2007, 33(04): 253-255.
ZENG Qiong; YAN Wei. Research on Combinational Circuits Equivalence Check Method[J]. Computer Engineering, 2007, 33(04): 253-255.