Login / Signup
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
Published in:
ISVLSI (2005)
Keyphrases
</>
data sets
computationally efficient
orders of magnitude
database
industrial applications