Multi-conditional SAT-ATPG for power-droop testing.

Alexander Czutro Matthias Sauer Ilia Polian Bernd Becker

Published in: ETS (2012)

Keyphrases

satisfiability problem
test set
test cases
test data
power consumption
sat solvers
propositional satisfiability
neural network
first order logic
random field model