Concurrent Testing of Digital Circuits for Advanced Fault Models.

Santosh Biswas Siddhartha Mukhopadhyay P. Patra Dipankar Sarkar

Published in: DDECS (2006)

Keyphrases

digital circuits
model based diagnosis
fault models
fault model
data flow
functional decomposition
dynamic systems
finite state machines
search algorithm
data model
model checking
horn clauses