In this chapter,1 SAT-based ATPG is explained in detail for the static SAFM. Dynamic fault models require a different modeling since two test vectors are required per fault. Path delay and transition delay faults are considered in Chapter 10. The basic transformation of an ATPG problem to a SAT problem for the SAFM is presented in Section 4.1. This technique has been presented in [67] – but SAT solvers at that time were not very powerful. In particular, conflict-based learning was not available. Simply replacing the underlying SAT solver already provides substantial speed-ups in run time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2009). SAT-Based ATPG. In: Test Pattern Generation using Boolean Proof Engines. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-2360-5_4
Download citation
DOI: https://doi.org/10.1007/978-90-481-2360-5_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2359-9
Online ISBN: 978-90-481-2360-5
eBook Packages: EngineeringEngineering (R0)