A novel SAT-based ATPG approach for transition delay faults.

Farzaneh Zokaee Hossein Sabaghian Bidgoli Vahid Janfaza Payman Behnam Zainalabedin Navabi

Published in: HLDVT (2017)

Keyphrases

fault diagnosis
fault detection
answer set programming
bounded model checking
ai planning
constraint solver
sat solvers
model based diagnosis
test cases
critical path
fault detection and isolation
genetic algorithm
search strategies
state transition
formal verification
multiple faults