A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. - Paul Tafertshofer; Andreas Ganz; Manfred Henftling (ICCAD, 1997)

Object Orientation in Time Warp Simulation. - Norbert Fröhlich; Rolf Schlagenhaft; Andreas Ganz; Josef Fleischmann (PDPTA, 1997)

Distributed Test Pattern Generation for Stuck-At Faults in Sequential Circuits. - Peter A. Krauss; Andreas Ganz; Kurt Antreich (J. Electron. Test., 1997)

SAT based ATPG using fast justification and propagation in the implication graph. - Paul Tafertshofer; Andreas Ganz (ICCAD, 1999)

IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. - Paul Tafertshofer; Andreas Ganz; Kurt Antreich (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)