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 条
[31]   Equivalence checking of combinational circuits using Boolean expression diagrams [J].
Hulgaard, H ;
Williams, PF ;
Andersen, HR .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (07) :903-917
[32]   Using complete-1-distinguishability for FSM equivalence checking [J].
Ashar, P ;
Gupta, A ;
Malik, S .
1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, :346-353
[33]   Equivalence checking of combinational circuits using Boolean expression diagrams [J].
Department of Information Technology, Technical University of Denmark, DK-2800 Lyngby, Denmark .
IEEE Trans Comput Aided Des Integr Circuits Syst, 7 (903-917)
[34]   Equivalence Checking of Reversible Circuits [J].
Wille, Robert ;
Grosse, Daniel ;
Miller, D. Michael ;
Drechsler, Rolf .
ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, :324-+
[35]   Equivalence Checking for Intelligent Circuits [J].
Fan, De-Hui ;
Ma, Guang-Sheng .
2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS, 2008, :785-787
[36]   Equivalence checking of integer multipliers [J].
Chen, JC ;
Chen, YA .
PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, :169-174
[37]   Equivalence Checking of Quantum Protocols [J].
Ardeshir-Larijani, Ebrahim ;
Gay, Simon J. ;
Nagarajan, Rajagopal .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 :478-492
[38]   A method for approximate equivalence checking [J].
Thornton, M ;
Drechsler, R ;
Günther, W .
30TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2000, :447-452
[39]   Equivalence checking at Cray Research [J].
McTavish, D .
IEEE SPECTRUM, 1996, 33 (06) :71-71
[40]   On checking equivalence of simulation scripts [J].
Mancini, Toni ;
Mari, Federico ;
Massini, Annalisa ;
Melatti, Igor ;
Tronci, Enrico .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 120
12345