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
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (04) : 361 - 378
  • [2] Automated equivalence checking of switch level circuits
    Jolly, S
    Parashkevov, A
    McDougall, T
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 299 - 304
  • [3] 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
  • [4] 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
  • [5] 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,
  • [6] 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
  • [7] Advanced methods for equivalence checking of analog circuits with strong nonlinearities
    Sebastian Steinhorst
    Lars Hedrich
    Formal Methods in System Design, 2010, 36 : 131 - 147
  • [8] Advanced methods for equivalence checking of analog circuits with strong nonlinearities
    Steinhorst, Sebastian
    Hedrich, Lars
    FORMAL METHODS IN SYSTEM DESIGN, 2010, 36 (02) : 131 - 147
  • [9] Combinational Equivalence Checking for Threshold Logic Circuits
    Gowda, Tejaswi
    Vrudhula, Sarma
    Konjevod, Goran
    GLSVLSI'07: PROCEEDINGS OF THE 2007 ACM GREAT LAKES SYMPOSIUM ON VLSI, 2007, : 102 - 107
  • [10] Approximate Equivalence Checking of Noisy Quantum Circuits
    Hong, Xin
    Ying, Mingsheng
    Feng, Yuan
    Zhou, Xiangzhen
    Li, Sanjiang
    2021 58TH ACM/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2021, : 637 - 642
12345