Research on testing pattern generation for digital circuits using satisfiability approach

被引：0
|
作者：
Zeng, C.B.
Chen, G.J.
机构：
来源：
| 2001年 / Science Press卷 / 22期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability
    Gebregiorgis, Anteneh
    Tahoori, Mehdi B.
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1028 - 1033
  • [2] DNA computing approach for automated test pattern generation for digital circuits
    Singh, Amardeep
    Kaur, Maninder
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 39 (02) : 173 - 180
  • [3] TEST PATTERN GENERATION USING BOOLEAN SATISFIABILITY
    LARRABEE, T
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (01) : 4 - 15
  • [4] On random pattern generation with the selfish gene algorithm for testing digital sequential circuits
    Zhang, JW
    Bushnell, ML
    Agrawal, VD
    INTERNATIONAL TEST CONFERENCE 2004, PROCEEDINGS, 2004, : 617 - 626
  • [5] A new approach for test pattern generation for digital cores in mixed signal circuits
    Rajaneesh, M.
    Bhattacharya, R.
    Biswas, S.
    Mukhopadhyay, S.
    Patra, A.
    ADCOM 2007: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATIONS, 2007, : 3 - +
  • [6] Improving algorithm for test pattern generation using satisfiability
    Zeng, Chengbi
    Chen, Guangju
    Chengdu Kejidaxue Xuebao/Journal of Chengdu University of Science and Technology, 2000, 32 (03): : 54 - 57
  • [7] Automatic Test Pattern Generation Through Boolean Satisfiability for Testing Bridging Faults
    Mokhtarnia, Hossein
    Borujeni, Shahram Etemadi
    Ehsani, Mohammad Saeed
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2019, 28 (14)
  • [8] Test generation for non-separable RTL controller-datapath circuits using a satisfiability based approach
    Lingappan, L
    Ravi, S
    Jha, NK
    21ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, PROCEEDINGS, 2003, : 187 - 193
  • [9] A novel approach to random pattern testing of sequential circuits
    Nachman, L
    Saluja, KK
    Upadhyaya, SJ
    Reuse, R
    IEEE TRANSACTIONS ON COMPUTERS, 1998, 47 (01) : 129 - 134
  • [10] Learning techniques for automatic test pattern generation using boolean satisfiability
    Xin, Liu
    Telkomnika - Indonesian Journal of Electrical Engineering, 2013, 11 (07): : 4077 - 4085
12345