PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits

Junhao Shi, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel. PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits. In 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), New Frontiers in VLSI Design, 11-12 May 2005, Tampa, FL, USA. pages 212-217, IEEE Computer Society, 2005. [doi]

Authors

Junhao Shi

This author has not been identified. Look up 'Junhao Shi' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google

Andreas Glowatz

This author has not been identified. Look up 'Andreas Glowatz' in Google

Friedrich Hapke

This author has not been identified. Look up 'Friedrich Hapke' in Google

Jürgen Schlöffel

This author has not been identified. Look up 'Jürgen Schlöffel' in Google