 | 2008 |
|---|
| 6 |       | Stephan Eggersglüß,
Rolf Drechsler:
On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults.
ISMVL 2008: 94-99 |
| 5 | | Rolf Drechsler,
Stephan Eggersglüß,
Görschwin Fey,
Andreas Glowatz,
Friedrich Hapke,
Jürgen Schlöffel,
Daniel Tille:
On Acceleration of SAT-Based ATPG for Industrial Designs.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1329-1333 (2008) |
| 2007 |
|---|
| 4 | | Stephan Eggersglüß,
Görschwin Fey,
Rolf Drechsler:
SAT-based ATPG for Path Delay Faults in Sequential Circuits.
ISCAS 2007: 3671-3674 |
| 3 | | Stephan Eggersglüß,
Daniel Tille,
Görschwin Fey,
Rolf Drechsler,
Andreas Glowatz,
Friedrich Hapke,
Jürgen Schlöffel:
Experimental Studies on SAT-Based ATPG for Gate Delay Faults.
ISMVL 2007: 6 |
| 2 | | Stephan Eggersglüß,
Görschwin Fey,
Rolf Drechsler,
Andreas Glowatz,
Friedrich Hapke,
Jürgen Schlöffel:
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults.
MEMOCODE 2007: 181-187 |
| 1 | | Robert Wille,
Görschwin Fey,
Daniel Große,
Stephan Eggersglüß,
Rolf Drechsler:
SWORD: A SAT like prover using word level information.
VLSI-SoC 2007: 88-93 |
