| 基于状态转换图同构求解的等价性验证算法 |
| |
| 引用本文： | 卢英,李炜. 基于状态转换图同构求解的等价性验证算法[J]. 计算机技术与发展, 2009, 19(3) |
| |
| 作者姓名： | 卢英 李炜 |
| |
| 作者单位： | 安徽大学,计算机科学与技术学院,安徽,合肥,230039 |
| |
| 基金项目： | 安徽省高等学校省级自然科学计划项目 |
| |
| 摘 要： | 文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.
|
| 关 键 词： | 状态转换图 同构 时序电路 等价状态对 |
Verifying Algorithm of Equivalence Based on State Transfer Graph's Isomorphism Solving |
| |
| LU Ying,LI Wei. Verifying Algorithm of Equivalence Based on State Transfer Graph's Isomorphism Solving[J]. Computer Technology and Development, 2009, 19(3) |
| |
| Authors: | LU Ying LI Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
