Initialization of sequential circuits and its application to ATPG

被引：2

作者：

Wehbeh, JA ^{[1
]}

Saab, DG

机构：

[1] Silicon Graph Inc, Mountain View, CA 94043 USA

[2] Case Western Reserve Univ, Dept ESCES, Cleveland, OH 44118 USA

来源：

JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS | 1998年 / 13卷 / 03期

基金：

美国国家科学基金会;

关键词：

initialization; ATPG; verification; CAD;

D O I：

10.1023/A:1008333803059

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

A general method for determining whether a certain design is initializable, and for generating its initialization sequence, is presented in this paper. This method is based on structural decomposition of the circuit, and can handle both logical (using X-value simulation) and functional initializability. The routines developed are then used for ATPG of sequential circuits. A "pre-test" sequence that initializes the good and as many of the faulty machines as possible is generated and used in conjunction with CRIS [5], a simulation based sequential ATPG program, to generate a test set for the circuit.

引用

页码：259 / 271

页数：13

共 50 条

[1] Initialization of sequential circuits and its application to ATPG
Wehbeh, JA
Saab, DG
[J]. 14TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1996, : 246 - 251
[2] Initialization of Sequential Circuits and its Application to ATPG
Jalal A. Wehbeh
Daniel G. Saab
[J]. Journal of Electronic Testing, 1998, 13 : 259 - 271
[3] Efficient sequential ATPG for functional RTL circuits
Zhang, L
Ghosh, I
Hsiao, M
[J]. INTERNATIONAL TEST CONFERENCE 2003, PROCEEDINGS, 2003, : 290 - 298
[4] A fast sequential learning technique for real circuits with application to enhancing ATPG performance
El-Maleh, A
Kassab, M
Rajski, J
[J]. 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 625 - 631
[5] Characterization of Locked Sequential Circuits via ATPG
Duvalsaint, Danielle
Liu, Zeye
Ravikumar, Ananya
Blanton, Ronald D.
[J]. 2019 IEEE INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA 2019), 2019, : 97 - 102
[6] Preprocessing techniques of ATPG for synchronous sequential circuits
Xu, CP
Zhi, L
Wei, M
[J]. ICEMI'2003: PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOLS 1-3, 2003, : 238 - 242
[7] Verification of Initialization Sequences for Sequential Circuits
Morkunas, K.
Seinauskas, R.
[J]. ELEKTRONIKA IR ELEKTROTECHNIKA, 2011, (06) : 61 - 64
[8] THE USE OF MODEL CHECKING IN ATPG FOR SEQUENTIAL-CIRCUITS
CAMURATI, P
GILLI, M
PRINETTO, P
REORDA, MS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 86 - 95
[9] INITIALIZATION OF SEQUENTIAL CIRCUITS USING SOFTWARE PROTOTYPES
Morkunas, Kestutis
Seinauskas, Rimantas
[J]. INFORMATION TECHNOLOGIES' 2010, 2010, : 254 - 258
[10] Ant Colony Optimizations for Initialization of synchronous sequential circuits
Hu, Xiaojing
Song, Zhengxiang
Wang, Jianhua
Geng, Yingsan
Shen, Wang
[J]. IEEE CIRCUITS AND SYSTEMS INTERNATIONAL CONFERENCE ON TESTING AND DIAGNOSIS, 2009, : 424 - 427

← 1 2 3 4 5 →