 | 2000 |
|---|
| 5 |       | Paul Tafertshofer,
Andreas Ganz,
Kurt Antreich:
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.
IEEE Trans. on CAD of Integrated Circuits and Systems 19(8): 907-927 (2000) |
| 1999 |
|---|
| 4 | | Paul Tafertshofer,
Andreas Ganz:
SAT based ATPG using fast justification and propagation in the implication graph.
ICCAD 1999: 139-146 |
| 1997 |
|---|
| 3 | | Paul Tafertshofer,
Andreas Ganz,
Manfred Henftling:
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
ICCAD 1997: 648-655 |
| 2 |  | Norbert Fröhlich,
Rolf Schlagenhaft,
Andreas Ganz,
Josef Fleischmann:
Object Orientation in Time Warp Simulation.
PDPTA 1997: 1015-1023 |
| 1 | | Peter A. Krauss,
Andreas Ganz,
Kurt Antreich:
Distributed Test Pattern Generation for Stuck-At Faults in Sequential Circuits.
J. Electronic Testing 11(3): 227-245 (1997) |
