-
题名一种基于状态转换图的时序电路等价验证算法
被引量：1
- 1
-
-
作者
魏萌
唐璞山
-
机构
复旦大学微电子系专用集成电路国家重点实验室
-
出处
《微电子学与计算机》
CSCD
北大核心
2007年第7期112-114,共3页
-
基金
国家自然科学基金项目(90207002)
-
文摘
提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息。若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式,若所有待验证等价状态对均为等价,则两时序电路等价,反之,则不等价。此算法对ISCAS89测试电路进行验证,与基于BDD方法的SIS系统和基于时间帧展开算法相比,均有较好的结果。
-
关键词
时序电路等价验证
状态转换图
状态对
-
Keywords
sequential equivalence checking
state transfer diagram
state pair
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
