一种基于状态转换图的时序电路等价验证算法

• 作者: 唐璞山 魏萌
• 来源期刊: 微电子学与计算机
• 关键词: 时序电路等价验证 状态转换图 状态对
• 年，卷（期）: 2007,（7）
• 页码范围: 112-114
• 页数: 3页
• 分类号: TP302
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.07.032

摘要

提出一种基于状态转换图的时序电路等价验证算法.此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息.若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式,若所有待验证等价状态对均为等价,则两时序电路等价,反之,则不等价.此算法对ISCAS89测试电路进行验证,与基于BDD方法的SIS系统和基于时间帧展开算法相比,均有较好的结果.