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

摘要：

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

关键词：时序等价性验证、寄存器匹配、原像计算、可达状态、不可达状态

所属期刊栏目：20

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金90207002

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：149-154