ARPIA: A high-level evolutionary test signal generator

被引:0
|
作者
Corno, F [1 ]
Cumani, G [1 ]
Reorda, MS [1 ]
Squillero, G [1 ]
机构
[1] Politecn Torino, Dipartimento Automat & Informat, I-10129 Turin, Italy
来源
APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS | 2001年 / 2037卷
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective fault models and test signals generators are still missing. This paper proposes ARPIA, a new simulation-based evolutionary test generator. ARPIA adopts an innovative high-level fault model that enables efficient fault simulation and guarantees good correlation with gate-level results. The approach exploits an evolutionary algorithm to drive the search of effective patterns within the gigantic space of all possible signal sequences. ARPIA operates on register-transfer level VHDL descriptions and generates effective test patterns. Experimental results show that the achieved results are comparable or better than those obtained by high-level similar approaches or even by gate-level ones.
引用
收藏
页码:298 / 306
页数:9
相关论文
共 50 条
  • [1] Co-Evolutionary High-Level Test Synthesis
    Aminzadeh, Soheil
    Safari, Saeed
    GLSVLSI'07: PROCEEDINGS OF THE 2007 ACM GREAT LAKES SYMPOSIUM ON VLSI, 2007, : 67 - 72
  • [2] A test case generator for the validation of high-level Petri nets
    Desel, J
    Oberweis, A
    Zimmer, T
    Zimmermann, G
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 327 - 332
  • [3] PARAMETERS OF AN AVALANCHE-DIODE (AD) GENERATOR WITH SYNCHRONIZATION BY A HIGH-LEVEL HARMONIC SIGNAL
    PONOMAREV, LI
    ELTSOV, AK
    LIKHODED, YV
    TELECOMMUNICATIONS AND RADIO ENGINEERING, 1979, 33-4 (05) : 98 - 99
  • [4] STATIONARY HIGH-LEVEL GAUSSIAN NOISE GENERATOR
    MIMAKI, T
    JOURNAL OF PHYSICS E-SCIENTIFIC INSTRUMENTS, 1972, 5 (03): : 208 - +
  • [5] High-level test generation for asynchronous circuits from signal transition graph
    Oh, EJ
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2002, E85A (12): : 2674 - 2683
  • [6] High-level test generation for asynchronous circuits from signal transition graph
    Oh, Eunjung
    Kim, Soo-Hyun
    Lee, Dong-Ik
    Choi, Ho-Yong
    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2002, E85-A (12) : 2674 - 2683
  • [7] High-level test generation for asynchronous circuits using signal transition graph
    Oh, E
    Kim, SH
    Lee, DI
    Choi, HY
    JOURNAL OF THE KOREAN PHYSICAL SOCIETY, 2002, 40 (01) : 193 - 198
  • [8] High-level test compaction techniques
    Ravi, S
    Lakshminarayana, G
    Jha, NK
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2002, 21 (07) : 827 - 841
  • [9] High-level test synthesis: a survey
    Ghosh, I
    Jha, NK
    INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 79 - 99
  • [10] AN AUTOMATIC MICROCODE GENERATOR FOR HIGH-LEVEL LANGUAGE MACHINES
    SRIDHAR, R
    MANWARING, ML
    MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 263 - 268