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

• 作者: 卢英 李炜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 状态转换图 同构 时序电路 等价状态对
• 年，卷（期）: 2009,（3）
• 页码范围: 74-76,83
• 页数: 4页
• 分类号: TP301.6
• 字数: 2671字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.03.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李炜	安徽大学计算机科学与技术学院	69	399	12.0	14.0
2	卢英	安徽大学计算机科学与技术学院	5	42	3.0	5.0