| 2000 |
|---|
| 4 | EE | 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 |
|---|
| 3 | EE | Paul Tafertshofer,
Andreas Ganz:
SAT based ATPG using fast justification and propagation in the implication graph.
ICCAD 1999: 139-146 |
| 1997 |
|---|
| 2 | 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 |
| 1 | | Norbert Fröhlich,
Rolf Schlagenhaft,
Andreas Ganz,
Josef Fleischmann:
Object Orientation in Time Warp Simulation.
PDPTA 1997: 1015-1023 |
