10.3969/j.issn.1000-3428.2007.04.089
组合电路等价性检验方法研究
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向.
等价性检验、组合电路、二叉判定图、布尔可满足、自动测试向量产生
33
TP273(自动化技术及设备)
国家自然科学基金60373113;国家重点基础研究发展计划973计划2004CB318000
2007-04-16(万方平台首次上网日期,不代表论文的发表时间)
共3页
253-255