Title :
Finite state machine testing based on growth and disappearance faults
Author :
Srinivas, M.K. ; Jacob, J. ; Agrawal, V.D.
Author_Institution :
Indian Inst. of Sci., Bangalore, India
Abstract :
An approach to generating functional test sequences. for synchronous sequential nonscan circuits is presented. The method is applicable when the functional description of the circuit can be obtained in the cubical form or a personality matrix. The faults are modeled as growth and disappearance faults in the cubical description of the irredundant combinational function of the finite state machine (FSM). Considering the combinational logic alone, test vectors for these faults are efficiently derived using a cube-based method developed for programmable logic arrays. Experimental results on MCNC synthesis benchmark FSMs and some ISCAS89 sequential circuits show that the approach can efficiently obtain functional test sequences which give very high coverage of stuck faults in specific implementations. The functional test sequences are implementation independent and can be obtained even when details of specific implementation are unavailable or unknown.<>
Keywords :
finite state machines; logic arrays; logic testing; sequential circuits; disappearance faults; finite state machine testing; functional test sequences; growth; irredundant combinational function; personality matrix; programmable logic arrays; stuck faults; synchronous sequential nonscan circuits; Automata; Benchmark testing; Circuit faults; Circuit synthesis; Circuit testing; Logic testing; Programmable logic arrays; Sequential analysis; Sequential circuits; Synchronous generators;
Conference_Titel :
Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-8186-2875-8
DOI :
10.1109/FTCS.1992.243578