节点文献
组合电路等价性检验方法研究
Research on Combinational Circuits Equivalence Check Method
【摘要】 分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
【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)；
【Key words】 Equivalence check； Combinational circuits； Binary decision diagram(BDD)； Boolean satisfiability； Automatic test pattern generation(ATPG)；
【基金】 国家自然科学基金资助项目(60373113);国家“973”计划基金资助项目(2004CB318000)
- 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2007年04期
- 【分类号】TN47
- 【被引频次】2
- 【下载频次】94