[1]卢英 李炜.基于状态转换图同构求解的等价性验证算法[J].计算机技术与发展,2009,(03):74-76.
　LU Ying,LI Wei.Verifying Algorithm of Equivalence Based on State Transfer Graph＇s Isomorphism Solving[J].,2009,(03):74-76.
点击复制

基于状态转换图同构求解的等价性验证算法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年03期
页码:
74-76
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Verifying Algorithm of Equivalence Based on State Transfer Graph＇s Isomorphism Solving
文章编号:
1673-629X（2009）03-0074-03
作者:
卢英 李炜
安徽大学计算机科学与技术学院
Author(s):
LU Ying;  LI Wei
Institute of Computer Science and Technology,Anhui University
关键词:
状态转换图; 同构; 时序电路; 等价状态对
Keywords:
state transfer graph; isornorphism; sequential circuit; equal state pair
分类号:
TP301.6
文献标志码:
A
摘要:
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对，然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构，从而得到时序电路是否等价的信息。若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。
Abstract:
Present a sequential circuit＇s equivalence verifying algorithm, which is based on the graph＇s isomorphism solving. Adopt recursive method to verify whether all the sub-STG（state transfer graph） is isomorphic, thus can obtain some information about sequent

相似文献/References:

[1]卢英 李炜 张义超 郭星.超大规模数字系统控制器的验证实现[J].计算机技术与发展,2008,(10):170.
　LU Ying,LI Wei,ZHANG Yi-chao,et al.Implementation on Verification of Controller in Very Lage Digital Systems[J].,2008,(03):170.

备注/Memo

备注/Memo:
安徽省高等学校省级自然科学计划项目资助(2006KJ0l3A)卢英(1984-)，女，安徽宿州人，硕士研究生，研究方向为计算机与VLSI没计自动化；李炜，副教授，硕士生导师，研究方向为嵌入式系统和CIMS技术。
更新日期/Last Update: 1900-01-01