An efficient SAT-based path delay fault ATPG with an unified sensitization model.

Shun-Yen Lu Ming-Ting Hsieh Jing-Jia Liou

Published in: ITC (2007)

Keyphrases

probabilistic model
computational model
mathematical model
statistical model
data sets
knowledge base
decision trees
image sequences
reinforcement learning
prior knowledge
theoretical framework
fault diagnosis
unified model
fault detection and isolation