基于BDD的时序电路等价性验证

摘要：

由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中的运用,通过匹配锁存器,可以用验证组合电路的方法来验证时序电路,大大减小了验证难度.

关键词： 时序电路 等价性验证 二叉判定图 状态遍历 锁存器匹配

作者: 杨军 葛海通

作者单位: 浙江大学,超大规模集成电路设计研究所,浙江,杭州,310027

会议类型: 国内会议

会议名称: 第四届中国测试学术会议

会议地点: 北戴河

会议语种:中文

页码: 411-416

在线出版日期: 2006-08-07（万方平台首次上网日期，不代表论文的发表时间）