Andreas Ganz

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Publications

Paul Tafertshofer, Andreas Ganz, Kurt Antreich
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (8) (2000)
Paul Tafertshofer, Andreas Ganz
SAT based ATPG using fast justification and propagation in the implication graph. ICCAD (1999)
Norbert Fröhlich, Rolf Schlagenhaft, Andreas Ganz, Josef Fleischmann
Object Orientation in Time Warp Simulation. PDPTA (1997)
Paul Tafertshofer, Andreas Ganz, Manfred Henftling
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. ICCAD (1997)
Peter A. Krauss, Andreas Ganz, Kurt Antreich
Distributed Test Pattern Generation for Stuck-At Faults in Sequential Circuits. J. Electron. Test. 11 (3) (1997)