利用状态缓存的时序等价性验证算法

• 作者: 严晓浪 杨军 翁延龄 葛海通
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 时序等价性验证 寄存器匹配 原像计算 可达状态 不可达状态
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 149-154
• 页数: 6页
• 分类号: TP302
• 字数: 4813字
• 语种: 中文

摘要

为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨军	浙江大学超大规模集成电路设计研究所	59	513	11.0	19.0
2	严晓浪	浙江大学超大规模集成电路设计研究所	246	1634	19.0	29.0
3	葛海通	浙江大学超大规模集成电路设计研究所	52	293	8.0	14.0
4	翁延龄	浙江大学超大规模集成电路设计研究所	1	5	1.0	1.0