基于余子式的组合逻辑电路覆盖等效性检测算法

• 作者: 张会红 汪涛 汪鹏君 陈治文
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 组合逻辑电路 覆盖等效性 余子式 香农结构图
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 2140-2146
• 页数: 7页
• 分类号: TP391.41
• 字数: 6338字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-9775.2017.11.021

摘要

覆盖等效性检测指验证2个具有不同表达式的组合逻辑电路是否实现相同的函数功能.通过扩展余子式概念,提出一种基于乘积项余子式分解及重言式判别的组合逻辑电路覆盖等效性检测算法.首先将等效性检测问题分解成电路包含检测子问题,逐一求取其中一个电路表达式对另一个电路表达式各乘积项的余子式;然后在建立各乘积项余子式的香农结构图基础上判断其是否重言式;最后根据重言式判别结果确定两电路间是否覆盖等效关系.该算法通过求取乘积项余子式对逻辑函数进行分解和降阶处理,从而加快了覆盖等效性验证速度.电路测试结果表明,文中算法是稳定有效的;对EXPRESSO软件集成的3种算法所得电路的测试结果表明,与基于真值表和BDD的2种检测算法相比,该算法具有明显的速度优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪鹏君	宁波大学电路与系统研究所	137	551	11.0	14.0
2	张会红	宁波大学电路与系统研究所	38	125	7.0	9.0
3	汪涛	宁波大学电路与系统研究所	5	33	2.0	5.0
4	陈治文	宁波大学电路与系统研究所	3	2	1.0	1.0