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

• 作者: 曾琼 闫炜
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 工程应用技术与实现
• 页码范围: 253-255
• 页数: 3页
• 分类号: TP273
• 字数: 4862字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.04.089

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾琼	中国科学院成都计算机应用研究所	7	7	2.0	2.0
3	闫炜	中国科学院成都计算机应用研究所	4	7	2.0	2.0