Techniques to Improve the Efficiency of SAT Based Path Delay Test Generation Conference Paper uri icon


  • Boolean Satisfiability (SAT) solvers have been used to speed up test pattern generation. In this work, several techniques to speed up SAT-based path delay test generation are presented. We demonstrate that these techniques: circuit simplification, Dynamic SAT Solving, Circuit Observability Don't Cares and Approximate Observability Don't Cares, significantly improve the efficiency of path delay test generation. The effectiveness of these techniques has been demonstrated on benchmark and industrial designs. 2014 IEEE.

name of conference

  • 2014 27th International Conference on VLSI Design

published proceedings

  • 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems

author list (cited authors)

  • Bian, K., Walker, D., & Khatri, S. P.

citation count

  • 1

complete list of authors

  • Bian, Kun||Walker, DMH||Khatri, Sunil P

publication date

  • January 2014