Can SAT be used to Improve Sequential ATPG Methods?

Related Articles

• Formal Verification Using Bounded Model Checking: SAT versus Sequential ATPG Engines
  VLSI Design, International Conference on
• Instance Generation for SAT-based ATPG
  2007 IEEE Design and Diagnostics of Electronic Circuits and Systems
• Reusing Learned Information in SAT-based ATPG
  2007 20th International Conference on VLSI Design
• Speeding up SAT-Based ATPG Using Dynamic Clause Activation
  2009 Asian Test Symposium
• Multi-conditional SAT-ATPG for power-droop testing
  2012 17th IEEE European Test Symposium (ETS)
• Improving Test Pattern Compactness in SAT-based ATPG
  16th Asian Test Symposium (ATS 2007)
• Efficiency of Multi-Valued Encoding in SAT-based ATPG
  36th International Symposium on Multiple-Valued Logic (ISMVL'06)
• TG-PRO: A new model for SAT-based ATPG
  2009 IEEE International High Level Design Validation and Test Workshop
• A fast untestability proof for SAT-based ATPG
  2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems
• Incremental SAT Instance Generation for SAT-based ATPG
  2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems