Combining half adder graph for equivalence checking of arithmetic circuits

被引：0
|
作者：
Institute of VLSI Design, Zhejiang University, Hangzhou 310027, China [1 ]
机构：
来源：
Zhejiang Daxue Xuebao (Gongxue Ban) | 2008年 / 8卷 / 1345-1349+1403期
关键词：
D O I：
10.3785/j.issn.1008-973X.2008.08.012
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Equivalence checking of arithmetic circuits on the arithmetic bit level
    Stoffel, D
    Kunz, W
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2004, 23 (05) : 586 - 597
  • [2] 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 - +
  • [3] 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
  • [4] 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
  • [5] Equivalence checking for digital circuits
    Falkowski, Bogdan J.
    IEEE Potentials, 2004, 23 (02): : 21 - 23
  • [6] Arithmetic Operand Ordering for Equivalence Checking
    Weng, Yanling
    Ge, Haitong
    Yan, Xiaolang
    Kun, Ren
    Tsinghua Science and Technology, 2007, 12 (SUPPL. 1): : 235 - 239
  • [7] 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,
  • [8] 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 - +
  • [9] 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
  • [10] 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
12345