Title :
Sequential circuit diagnosis based on formal verification techniques
Author :
Cabodi, G. ; Camurati, P. ; Corno, F. ; Prinetto, P. ; Reorda, M. Sonza
Keywords :
Circuit faults; Circuit testing; Clocks; Dictionaries; Fault detection; Fault diagnosis; Flip-flops; Formal verification; Sequential circuits; Synchronous generators;
Conference_Titel :
Test Conference, 1992. Proceedings., International
Print_ISBN :
0-7803-0760-7
DOI :
10.1109/TEST.1992.527819
