基于状态转换图同构求解的等价性验证算法

卢英; 李炜

首页> 中文期刊> 《计算机技术与发展》 >基于状态转换图同构求解的等价性验证算法

基于状态转换图同构求解的等价性验证算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.

著录项

来源
《计算机技术与发展》 |2009年第3期|74-7683|共4页
作者
卢英; 李炜;
展开▼
作者单位

安徽大学;

计算机科学与技术学院;

安徽;

合肥;

230039;

安徽大学;

计算机科学与技术学院;

安徽;

合肥;

230039;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
状态转换图; 同构; 时序电路; 等价状态对;

相似文献

中文文献
外文文献
专利

1. 一种基于状态转换图的时序电路等价验证算法 [J] . 魏萌 ,唐璞山 . 微电子学与计算机 . 2007,第7期
2. 子图同构验证算法OES [J] . 解春欣 ,汪卫 . 计算机工程 . 2011,第003期
3. 基于对称破坏的子图同构约束求解算法 [J] . 徐周波 ,梁轩瑜 ,刘华东 . 计算机工程与设计 . 2020,第002期
4. 基于符号OBDD的子图同构约束求解算法 [J] . 刘桂珍 ,徐周波 . 桂林电子科技大学学报 . 2019,第005期
5. 利用状态缓存的时序等价性验证算法 [J] . 杨军 ,翁延龄 ,葛海通 . 计算机辅助设计与图形学学报 . 2008,第002期
6. 基于DFG子图同构求解的高级综合结果验证方法 [C] . 刘沁楠 . 第七届全国数字系统设计自动化学术会议暨协同设计研讨会 . 1997
7. 子图同构问题的约束求解技术研究 [A] . 梁轩瑜 . 2019

基于状态转换图同构求解的等价性验证算法

摘要

著录项

相似文献

相关主题

期刊订阅