Login / Signup
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