时序电路等价验证的触发器匹配

• 作者: 张超 竺红卫
• 来源期刊: 电子与信息学报
• 学科: 工学
• 关键词: 触发器匹配 自动测试模式生成模型 布尔可满足性 时序帧递进展开 信息学习
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 研究简报
• 页码范围: 2283-2286
• 页数: 4页
• 分类号: TN47
• 字数: 3533字
• 语种: 中文
• DOI: 10.3724/SP.J.1146.2013.00881

摘要

通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证.而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化.该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配.在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张超	浙江大学电气工程学院	62	962	14.0	30.0
2	竺红卫	浙江大学电气工程学院	20	83	5.0	7.0