Login / Signup
Accurate X-Propagation for Test Applications by SAT-Based Reasoning.
Michael A. Kochte
Melanie Elm
Hans-Joachim Wunderlich
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2012)
Keyphrases
</>
satisfiability problem
high quality
computationally efficient
wave propagation
statistical tests
search algorithm
highly accurate