Modular test generation and concurrent transparency-based test translation using gate-level ATPG

被引:0
|
作者
Makris, Y [1 ]
Orailoglu, A [1 ]
Vishakantaiah, P [1 ]
机构
[1] Univ Calif San Diego, CSE Dept, La Jolla, CA 92093 USA
关键词
D O I
10.1109/CICC.2000.852621
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We introduce a hierarchical test generation methodology for modular designs, employing exclusively gate-level ATPG. Based on the notion of modular transparency, the search space of the design is reduced to alleviate the complexity of gate-level test generation. Although ATPG is applied at the full circuit, faults in each module are targeted individually, while the surrounding modules are replaced by their much simpler, transparency-equivalent logic. As analyzed theoretically and as demonstrated through a set of experimental data, the proposed methodology results in significant test generation speed-up, while preserving comparable fault coverage and vector count to full-circuit gate-level ATPG.
引用
收藏
页码:75 / 78
页数:4
相关论文
共 50 条
  • [31] Hardware Trojan Detection for Gate-level ICs Using Signal Correlation Based Clustering
    Cakir, Burcin
    Malik, Sharad
    [J]. 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 471 - 476
  • [32] Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
    Andreas Veneris
    Robert Chang
    Magdy S. Abadir
    Sep Seyedi
    [J]. Journal of Electronic Testing, 2005, 21 : 495 - 502
  • [33] Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM
    Di Guglielmo, G.
    Fummi, F.
    Marconcini, C.
    Pravadelli, G.
    [J]. IET COMPUTERS AND DIGITAL TECHNIQUES, 2007, 1 (03): : 187 - 196
  • [34] Crosstalk delay analysis of a 0.13-μm-node test chip and precise gate-level simulation technology
    Sasaki, Y
    Satoh, M
    Kuramoto, M
    Kikuchi, F
    Kawashima, T
    Masuda, H
    Yano, K
    [J]. 2002 SYMPOSIUM ON VLSI CIRCUITS, DIGEST OF TECHNICAL PAPERS, 2002, : 212 - 215
  • [35] Automated test sequence generation using sequencing constraints for concurrent programs
    Karaçali, B
    Tai, KC
    [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 97 - 108
  • [36] Automated test sequence generation using sequencing constraints for concurrent programs
    North Carolina State Univ, Raleigh, United States
    [J]. Int Workshop Software Eng Parall Distrib Syst Proc, (97-108):
  • [37] Test Case Generation For Concurrent Systems Using UML Activity Diagram
    Mahali, Prateeva
    Arabinda, Saswat
    Acharya, Arup Abhinna
    Mohapatra, Durga Prasad
    [J]. PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 428 - 435
  • [38] A method of test generation for acyclic sequential circuits using single stuck-at fault combinational ATPG
    Ichihara, H
    Inoue, T
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (12) : 3072 - 3078
  • [39] A DIRECTED SEARCH METHOD FOR TEST-GENERATION USING A CONCURRENT SIMULATOR
    AGRAWAL, VD
    CHENG, KT
    AGRAWAL, P
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (02) : 131 - 138
  • [40] A Search-Based Test Data Generation Method for Concurrent Programs
    Mirhosseini, Seyed Mohsen
    Haghighi, Hassan
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2020, 13 (01) : 1161 - 1175