A Satisfiability-Based Test Generator for Path Delay Faults in Combinational Circuts.

Chih-Ang Chen Sandeep K. Gupta

Published in: DAC (1996)

Keyphrases

test cases
np complete
shortest path
fault diagnosis
test data
phase transition
path length
built in self test
neural network
expert systems
destination node