Equivalence checking using structural methods

被引：0
作者：
Kunz, Wolfgang [1 ,2 ]
Stoffel, Dominik [1 ,2 ]
机构：
[1] J. W. Goethe-Universität, Frankfurt am Main, Germany
[2] Institut für Informatik/EM, Postfach 111932, Frankfurt,D-60054, Germany
来源：
IT - Information Technology | 2001年 / 43卷 / 01期
关键词：
D O I：
10.1524/itit.2001.43.1.08
中图分类号：
学科分类号：
摘要：
14
引用
收藏
页码：8 / 15
相关论文
共 50 条
[41]   Improvements to combinational equivalence checking [J].
Mishchenko, Alan ;
Chatterjee, Satrajit ;
Brayton, Robert ;
Een, Niklas .
IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, :90-+
[42]   Equivalence Checking of Reversible Circuits [J].
Wille, Robert ;
Grosse, Daniel ;
Miller, D. Michael ;
Drechsler, Rolf .
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (04) :361-378
[43]   Checking equivalence for partial implementations [J].
Scholl, C ;
Becker, B .
38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, :238-243
[44]   Value of sequential equivalence checking [J].
Kumar, R. ;
Kunz, W. .
Electronic Engineering (London), 1999, 71 (869)
[45]   Equivalence checking for digital circuits [J].
Falkowski, Bogdan J. .
IEEE Potentials, 2004, 23 (02) :21-23
[46]   Equivalence Checking By Logic Relaxation [J].
Goldberg, Eugene .
PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, :49-56
[47]   Parallel Combinational Equivalence Checking [J].
Possani, Vinicius N. ;
Mishchenko, Alan ;
Ribas, Renato P. ;
Reis, Andre I. .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (10) :3081-3092
[48]   Client -Specific Equivalence Checking [J].
Mora, Federico ;
Li, Yi ;
Rubin, Julia ;
Chechik, Marsha .
PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18), 2018, :441-451
[49]   Heuristic search for equivalence checking [J].
De Francesco, Nicoletta ;
Lettieri, Giuseppe ;
Santone, Antonella ;
Vaglini, Gigliola .
SOFTWARE AND SYSTEMS MODELING, 2016, 15 (02) :513-530
[50]   Heuristic search for equivalence checking [J].
Nicoletta De Francesco ;
Giuseppe Lettieri ;
Antonella Santone ;
Gigliola Vaglini .
Software & Systems Modeling, 2016, 15 :513-530
12345