| 1997 |
|---|
| 6 | EE | Paul Tafertshofer,
Andreas Ganz,
Manfred Henftling:
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
ICCAD 1997: 648-655 |
| 1995 |
|---|
| 5 | EE | Hannes C. Wittmann,
Manfred Henftling:
Path delay ATPG for standard scan design.
EURO-DAC 1995: 202-207 |
| 4 | EE | Manfred Henftling,
Hannes C. Wittmann,
Kurt Antreich:
A formal non-heuristic ATPG approach.
EURO-DAC 1995: 248-253 |
| 3 | EE | Manfred Henftling,
Hannes C. Wittmann,
Kurt Antreich:
A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization.
ICCAD 1995: 304-309 |
| 1994 |
|---|
| 2 | EE | Manfred Henftling,
Hannes C. Wittmann,
Kurt Antreich:
Path Hashing to Accelerate Delay Fault Simulation.
DAC 1994: 522-526 |
| 1 | | Hannes C. Wittmann,
Manfred Henftling:
Efficient Path Identification for Delay Testing - Time and Space Optimization.
EDAC-ETC-EUROASIC 1994: 513-517 |
