组合电路等价性检验方法研究

Research on Combinational Circuits Equivalence Check Method

分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。

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.