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 条
  • [1] Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets
    Tarraf, Ahmad
    Hedrich, Lars
    Kochdumper, Niklas
    Rechmal-Lesse, Malgorzata
    Olbrich, Markus
    2020 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2020), 2020, : 7 - 12
  • [2] Sequential equivalence checking based on structural similarities
    van Eijk, CAJ
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (07) : 814 - 819
  • [3] Equivalence checking using independent cuts
    Xu, Z
    Yan, XL
    Lu, YJ
    Ge, HT
    ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 482 - 485
  • [4] Equivalence Checking using Trace Partitioning
    Mukherjee, Rajdeep
    Kroening, Daniel
    Melham, Tom
    Srivas, Mandayam
    2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, 2015, : 13 - 18
  • [5] Sequential equivalence checking using cuts
    Huang, Wei
    Tang, PuShan
    Ding, Min
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 455 - 458
  • [6] Equivalence checking using abstract BDDs
    Jha, S
    Lu, Y
    Minea, M
    Clarke, EM
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 332 - 337
  • [7] Using SAT for combinational equivalence checking
    Goldberg, EI
    Prasad, MR
    Brayton, RK
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 114 - 121
  • [8] Equivalence checking using cuts and heaps
    Kuehlmann, A
    Krohm, F
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 263 - 268
  • [9] Equivalence Checking using Grobner Bases
    Sayed-Ahmed, Amr
    Grosse, Daniel
    Soeken, Mathias
    Drechsler, Rolf
    PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 169 - 176
  • [10] Expression equivalence checking using interval analysis
    Ghodrat, Mohammad Ali
    Givargis, Tony
    Nicolau, Alex
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2006, 14 (08) : 830 - 842
12345