| 一种新颖的基于层划分的等价验证方法 |
| |
| 引用本文： | 李亮,唐璞山,张忠林. 一种新颖的基于层划分的等价验证方法[J]. 微电子学, 2004, 34(6): 618-623 |
| |
| 作者姓名： | 李亮 唐璞山 张忠林 |
| |
| 作者单位： | 复旦大学,微电子系,专用集成电路与系统国家重点实验室,上海,200433 |
| |
| 基金项目： | 国家自然科学基金资助项目(90207002)，国家863计划资助项目(2002AAIZ1460) |
| |
| 摘 要： | 提出了一种基于SAT问题的组合电路等价验证算法，该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为：1)基于层划分的配对点生成方法；2)基于值控制的回溯过程。ISCAS’85的实例很好地证明了该算法的有效性。
|
| 关 键 词： | 组合电路 形式验证 等价验证 电路划分 |
| 文章编号： | 1004-3365(2004)06-0618-06 |
Combinational Equivalence Checking Using Level Based Partition |
| |
| LI Liang,TANG Pu-shan,ZHANG Zhong-linShanghai ,P. R. China). Combinational Equivalence Checking Using Level Based Partition[J]. Microelectronics, 2004, 34(6): 618-623 |
| |
| Authors: | LI Liang TANG Pu-shan ZHANG Zhong-linShanghai P. R. China) |
| |
| Affiliation: | LI Liang,TANG Pu-shan,ZHANG Zhong-linShanghai 200433,P. R. China) |
| |
| Abstract: | An improved SAT-based framework for combinational equivalence checking (CEC) is presented, which is specifically targeted on building a robust checker to compare large circuits with some structural similarities. Two ideas fundamentally distinguish the technique from previous approaches. First, those candidate equivalent pairs to be checked are built by a level-based approach; and second, false negative pair will be handled by an effective strategy. Our experiments on the ISCAS benchmark circuits demonstrate that the outlined approach is very promising. |
| |
| Keywords: | Combinational circuit Formal verification Equivalence checking Circuit partition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
