Andreas Ganz

According to our database, Andreas Ganz authored at least 5 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

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

1999

SAT based ATPG using fast justification and propagation in the implication graph.

Paul Tafertshofer, Andreas Ganz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1997

Distributed Test Pattern Generation for Stuck-At Faults in Sequential Circuits.

Peter A. Krauss, Andreas Ganz, Kurt Antreich

J. Electron. Test., 1997

Object Orientation in Time Warp Simulation.

Norbert Fröhlich, Rolf Schlagenhaft, Andreas Ganz, Josef Fleischmann

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.

Paul Tafertshofer, Andreas Ganz, Manfred Henftling

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997