Some design environments may prevent Design for Testability techniques from reducing testing to a combinational problem: ATPG for sequential devices remains a challenging field. Random and deterministic structure-oriented techniques are the state-of-the-art, but there is a growing interest in methods where the function implemented by the circuit is known. This paper shows how a test pattern may be generated while trying to disprove the equivalence of a good and a faulty machine. The algorithms are derived from Graph Theory and Model Checking. An example is analyzed to discuss the applicability and the cost of such an approach.

The use of model checking in ATPG for sequential circuits / Camurati, Paolo Enrico; Gilli, Marco; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - 531:(1991), pp. 86-95. (Intervento presentato al convegno Computer-Aided Verification 2nd International Conference, CAV '90 tenutosi a New Brunswick, NJ (USA) nel June 18-21, 1990) [10.1007/BFb0023722].

The use of model checking in ATPG for sequential circuits

CAMURATI, Paolo Enrico;GILLI, MARCO;PRINETTO, Paolo Ernesto;SONZA REORDA, Matteo
1991

Abstract

Some design environments may prevent Design for Testability techniques from reducing testing to a combinational problem: ATPG for sequential devices remains a challenging field. Random and deterministic structure-oriented techniques are the state-of-the-art, but there is a growing interest in methods where the function implemented by the circuit is known. This paper shows how a test pattern may be generated while trying to disprove the equivalence of a good and a faulty machine. The algorithms are derived from Graph Theory and Model Checking. An example is analyzed to discuss the applicability and the cost of such an approach.
1991
3540544771
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2374685
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo