Detecting Exitory Stuck-At Faults in Semimodular Asynchronous Circuits.

Michael J. Liebelt Neil Burgess

Published in: IEEE Trans. Computers (1999)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
fault diagnosis
model checking
artificial intelligence
test cases
fault detection
multiresolution
real time
databases
multiple faults