Login / Signup
Techniques to Improve the Efficiency of SAT Based Path Delay Test Generation.
Kun Bian
D. M. H. Walker
Sunil P. Khatri
Published in:
VLSI Design (2014)
Keyphrases
</>
test generation
shortest path
database
database systems
databases
case study
planning problems
answer set programming
quality assurance
symbolic execution