Login / Signup

Accurate X-Propagation for Test Applications by SAT-Based Reasoning.

Michael A. KochteMelanie ElmHans-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