SAT-based arithmetic circuit bug-hunting method

被引：0
|
作者：
Chen, Yun-Ji [1 ]
Zhang, Jian [2 ]
Shen, Hai-Hua [1 ]
Hu, Wei-Wu [1 ]
机构：
[1] Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China
[2] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2007年 / 30卷 / 12期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
页码：2082 / 2089
相关论文
共 50 条
  • [1] A SAT-Based arithmetic circuit bug-hunting method
    Chen, Yunji
    Huang, Zhuo
    TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 299 - +
  • [2] ZEN AND THE ART OF BUG-HUNTING
    Larmour, Vicky
    ELECTRONICS WORLD, 2009, 115 (1879): : 8 - 10
  • [3] SAT-Based Arithmetic Support for Alloy
    Cornejo, Cesar
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1161 - 1163
  • [4] Debuggers expand bug-hunting powers
    Child, J
    COMPUTER DESIGN, 1996, 35 (03): : 122 - 126
  • [5] Saturn: A SAT-based tool for bug detection
    Xie, YC
    Aiken, A
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 139 - 143
  • [6] SAT-Based Methods for Circuit Synthesis
    Bloem, Roderick
    Egly, Uwe
    Klampfl, Patrick
    Koenighofer, Robert
    Lonsing, Florian
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 31 - 34
  • [7] SAT-Based Quantum Circuit Adaptation
    Brandhofer, Sebastian
    Kim, Jinwoong
    Niu, Siyuan
    Bronn, Nicholas T.
    2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
  • [8] Solving Linear Arithmetic with SAT-based Model Checking
    Vizel, Yakir
    Nadel, Alexander
    Malik, Sharad
    PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 47 - 54
  • [9] Analysis of SET Reconvergence and Hardening in the Combinational Circuit Using a SAT-Based Method
    Liu, Chang
    Zhang, Long
    He, Xu
    Guo, Yang
    IEEE ACCESS, 2018, 6 : 48740 - 48746
  • [10] Efficient SAT-based Circuit Initialization for Larger Designs
    Sauer, Matthias
    Reimer, Sven
    Reddy, Sudhakar M.
    Becker, Bernd
    2014 27TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2014 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID 2014), 2014, : 62 - 67
12345