Value of sequential equivalence checking

被引：0
|
作者：
Kumar, R. [1 ]
Kunz, W. [1 ]
机构：
[1] Verysys Corp
来源：
Electronic Engineering (London) | 1999年 / 71卷 / 869期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Application Specified Soft Error Failure Rate Analysis using Sequential Equivalence Checking Techniques
    Li, Tun
    Zhu, Dan
    Li, Sikun
    Guo, Yang
    2013 18TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2013, : 608 - 613
  • [42] SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations
    Li, You
    Zhao, Guannan
    He, Yunqi
    Zhou, Hai
    2023 60TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC, 2023,
  • [43] A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states
    Moon, In-Ho
    Bjesse, Per
    Pixley, Carl
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1170 - 1175
  • [44] Mining Unreachable Cross-timeframe State-pairs for Bounded Sequential Equivalence Checking
    Chang, Lynn C. -L
    Wen, Charles H. -P.
    MTV 2008: NINTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2009, : 33 - 38
  • [45] Equivalence Checking of Reversible Circuits
    Wille, Robert
    Grosse, Daniel
    Miller, D. Michael
    Drechsler, Rolf
    ISMVL: 2009 39TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2009, : 324 - +
  • [46] Equivalence Checking for Intelligent Circuits
    Fan, De-Hui
    Ma, Guang-Sheng
    2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS, 2008, : 785 - 787
  • [47] Equivalence checking at Cray Research
    McTavish, D
    IEEE SPECTRUM, 1996, 33 (06) : 71 - 71
  • [48] Improvements to combinational equivalence checking
    Mishchenko, Alan
    Chatterjee, Satrajit
    Brayton, Robert
    Een, Niklas
    IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, : 90 - +
  • [49] On checking equivalence of simulation scripts
    Mancini, Toni
    Mari, Federico
    Massini, Annalisa
    Melatti, Igor
    Tronci, Enrico
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 120
  • [50] Equivalence Checking of Quantum Protocols
    Ardeshir-Larijani, Ebrahim
    Gay, Simon J.
    Nagarajan, Rajagopal
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 478 - 492
12345