Title :
Exact critical path tracing fault simulation on massively parallel processor AAP2
Author :
Kitamura, Yoshihiro
Author_Institution :
NTT LSI Lab., Kanagawa, Japan
Abstract :
A fault simulation method called the fault information tracing (FIT) algorithm is presented. Although the basic concept is similar to that of the critical path tracing (CPT) method, which traces sensitive inputs backward to directly determine the fault detectability, FIT is a multiple fault propagation method which considers propagation of all possible stuck-at faults between a gate input and output. Moreover, FIT manages a ´fault information flag´ which represents both fault detectability and circuit topology between the current line and a primary output. Use of the fault information flag makes it possible to greatly reduce reconvergent fanout stem analysis. Consequently, exact and efficient simulation is achieved with near linear time complexity. The FIT algorithm is described and results are presented. In addition, the FIT procedure consists of simple propagation of fault information flags between logic gates, which enable implementation on parallel processors. Its suitability for parallel processors. Its suitability for parallel processing is discussed. Moreover, a parallel fault simulation method for AAP2, a massively parallel processor system containing 65536 processing elements, is described.<>
Keywords :
circuit analysis computing; digital simulation; integrated circuit testing; logic design; logic testing; parallel algorithms; AAP2; circuit topology; critical path tracing fault simulation; fault detectability; fault information flag; fault information tracing; fault simulation method; massively parallel processor; multiple fault propagation method; parallel fault simulation method; sensitive inputs; stuck-at faults; Algorithm design and analysis; Circuit faults; Circuit simulation; Circuit testing; Circuit topology; Electrical fault detection; Fault detection; Logic circuits; Logic gates; Parallel processing;
Conference_Titel :
Computer-Aided Design, 1989. ICCAD-89. Digest of Technical Papers., 1989 IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-1986-4
DOI :
10.1109/ICCAD.1989.76994