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 条
  • [21] Approximate equivalence checking of noisy quantum circuits
    Hong, Xin
    Ying, Mingsheng
    Feng, Yuan
    Zhou, Xiangzhen
    Li, Sanjiang
    arXiv, 2021,
  • [22] Experimental Equivalence Checking of Quantum Circuits by Nonlocality
    Tang, Hao
    Guo, Yu
    Sun, Weixiao
    Hu, Xiao-Min
    Liu, Bi-Heng
    Wei, Zhaohui
    Huang, Yun-Feng
    Han, Yong-Jian
    Li, Chuan-Feng
    Guo, Guang-Can
    PHYSICAL REVIEW LETTERS, 2024, 133 (26)
  • [23] Automated equivalence checking of switch level circuits
    Jolly, S
    Parashkevov, A
    McDougall, T
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 299 - 304
  • [24] Quaternary Quantum/Reversible Half-Adder, Full-Adder, Parallel Adder and Parallel Adder/Subtractor Circuits
    Asma Taheri Monfared
    Majid Haghparast
    Kamalika Datta
    International Journal of Theoretical Physics, 2019, 58 : 2184 - 2199
  • [25] Quaternary Quantum/Reversible Half-Adder, Full-Adder, Parallel Adder and Parallel Adder/Subtractor Circuits
    Monfared, Asma Taheri
    Haghparast, Majid
    Datta, Kamalika
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2019, 58 (07) : 2184 - 2199
  • [26] Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
    Lopes, Nuno P.
    Monteiro, Jose
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (04) : 359 - 374
  • [27] Sequential Equivalence Checking of Clock-Gated Circuits
    Dai, Yu-Yun
    Khoo, Kei-Yong
    Brayton, Robert K.
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [28] Checking equivalence for circuits containing incompletely specified boxes
    Scholl, C
    Becker, B
    ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 2002, : 56 - 63
  • [29] Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
    Nuno P. Lopes
    José Monteiro
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 359 - 374
  • [30] Equivalence checking method for fixed-point arithmetic datapaths
    Li, Donghai
    Ma, Guangsheng
    Hu, Jing
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2009, 21 (01): : 27 - 32
12345