Title :
Discrete event system approach for delay fault analysis in digital circuits
Author :
Westerman, Glenn ; Kumar, Ratnesh ; Stroud, Charles ; Heath, J. Robert
Author_Institution :
Lexmark Int. Inc., Lexington, KY, USA
Abstract :
This paper presents the application of discrete event system (DES) techniques to delay fault modeling and analysis. DES is a dynamical system that evolves according to asynchronous occurrence of certain discrete changes, called events. An integrated circuit (chip) may be considered as a discrete event system. DES modeling techniques are used for delay fault analysis of a chip design. This formal analysis technique may help avoid some of the large cost of simulation, DES delay gate models and circuit path delay models are developed as well as algorithms that provide design testability evaluation and robust delay fault test generation
Keywords :
delays; design for testability; digital integrated circuits; discrete event systems; fault diagnosis; formal verification; integrated circuit testing; logic testing; DES techniques; IC; asynchronous occurrence; circuit path delay models; delay fault analysis; delay gate models; design testability evaluation; digital circuits; discrete event system techniques; fault modeling; integrated circuit; robust delay fault test generation; Algorithm design and analysis; Analytical models; Chip scale packaging; Circuit faults; Circuit simulation; Circuit testing; Costs; Delay systems; Discrete event systems; Robustness;
Conference_Titel :
American Control Conference, 1998. Proceedings of the 1998
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-7803-4530-4
DOI :
10.1109/ACC.1998.694667