The authors present a new functional test pattern generation algorithm for sequential architectures based on their finite state machine specification. The algorithm is based on a functional fault model. Each transition of the finite state machine is analyzed and state distinguishing sequences are adopted to observe their final state. Overlapping of test sequences is performed in order to reduce test length. Experimental results have shown the effectiveness of the test algorithm both at the functional level and at the gate level. The relations between synthesis, fault coverage and testing will be also determined.
Fault Detection in Sequential Circuits through Functional Testing
FUMMI, Franco;
1993-01-01
Abstract
The authors present a new functional test pattern generation algorithm for sequential architectures based on their finite state machine specification. The algorithm is based on a functional fault model. Each transition of the finite state machine is analyzed and state distinguishing sequences are adopted to observe their final state. Overlapping of test sequences is performed in order to reduce test length. Experimental results have shown the effectiveness of the test algorithm both at the functional level and at the gate level. The relations between synthesis, fault coverage and testing will be also determined.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.