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