| 基于替换的组合电路的等价性检验方法 |
| |
| 引用本文： | 曾琼.基于替换的组合电路的等价性检验方法[J].成都信息工程学院学报,2006,21(2):169-173. |
| |
| 作者姓名： | 曾琼 |
| |
| 作者单位： | 成都信息工程学院,四川,成都,610225;中国科学院成都计算机应用研究所,四川,成都,610041 |
| |
| 摘 要： | 介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。
|
| 关 键 词： | 等价性检验 增量算法 积自动机 割集 基于替换的算法 信号对 |
| 文章编号： | 1671-1742(2006)02-0169-05 |
| 修稿时间： | 2005年4月12日 |
Substitution-based equivalence checking for combinational circuits |
| |
| ZENG Qiong.Substitution-based equivalence checking for combinational circuits[J].Journal of Chengdu University of Information Technology,2006,21(2):169-173. |
| |
| Authors: | ZENG Qiong |
| |
| Abstract: | A substitution-based equivalence checking for the combinational ciucuits is introduced.It uses the structural similarity of the two circuits under verification(CUVs).During the incremental verification the circuits is simplified step by step and the process of the verification is speeded-up. |
| |
| Keywords: | equivalence checking incremental algorithm miter cutest substitution-based algorithm signal pair |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
