Equivalence Checking for Intelligent Circuits

被引：0
|
作者：
Fan, De-Hui [1 ]
Ma, Guang-Sheng [1 ]
机构：
[1] Harbin Engn Univ, Coll Comp Sci & Technol, Harbin, Peoples R China
来源：
2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION WORKSHOP: IITA 2008 WORKSHOPS, PROCEEDINGS | 2008年
关键词：
formal verification; equivalence checking; WGL;
D O I：
10.1109/IITA.Workshops.2008.188
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Equivalence checking is playing a significant role in Intelligent Circuits design. However, the common models for verification either have their complexity problems or have applicable limitations. In order to overcome the deficiencies, a model WGL (Weighted Generalized List) is proposed and based on WGL we give an algorithm for cheking. comparing the model WLDDs, the experiments show that the WGL is more efficient.
引用
收藏
页码：785 / 787
页数：3
相关论文
共 50 条
  • [1] 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 - +
  • [2] Equivalence Checking of Reversible Circuits
    Wille, Robert
    Grosse, Daniel
    Miller, D. Michael
    Drechsler, Rolf
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (04) : 361 - 378
  • [3] Equivalence checking for digital circuits
    Falkowski, Bogdan J.
    IEEE Potentials, 2004, 23 (02): : 21 - 23
  • [4] Equivalence Checking of Dynamic Quantum Circuits
    Hong, Xin
    Feng, Yuan
    Li, Sanjiang
    Ying, Mingsheng
    2022 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2022,
  • [5] Checking equivalence of quantum circuits and states
    Viamontes, George R.
    Markov, Igor L.
    Hayes, John P.
    IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 69 - +
  • [6] Equivalence Checking of Sequential Quantum Circuits
    Wang, Qisheng
    Li, Riling
    Ying, Mingsheng
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (09) : 3143 - 3156
  • [7] Advanced Equivalence Checking for Quantum Circuits
    Burgholzer, Lukas
    Wille, Robert
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2021, 40 (09) : 1810 - 1824
  • [8] Partial Equivalence Checking of Quantum Circuits
    Chen, Tian-Fu
    Jiang, Jie-Hong R.
    Hsieh, Min-Hsiu
    2022 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2022), 2022, : 594 - 604
  • [9] Equivalence Checking For Synchronous Elastic Circuits
    Wijayasekara, Vidura
    Srinivasan, Sudarshan K.
    2013 ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE 2013), 2013, : 109 - 118
  • [10] Equivalence checking of circuits with parameterized specifications
    Goldberg, E
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 107 - 121
12345