Manfred Henftling

According to our database, Manfred Henftling authored at least 8 papers between 1994 and 1997.

Collaborative distances:

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

1997

Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen.

Manfred Henftling

PhD thesis, 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

1995

A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization.

Manfred Henftling, Hannes C. Wittmann, Kurt Antreich

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

Path delay ATPG for standard scan design.

Hannes C. Wittmann, Manfred Henftling

Proceedings of the Proceedings EURO-DAC'95, 1995

A formal non-heuristic ATPG approach.

Manfred Henftling, Hannes C. Wittmann, Kurt Antreich

Proceedings of the Proceedings EURO-DAC'95, 1995

Bit parallel test pattern generation for path delay faults.

Manfred Henftling, Hannes Wittman

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Efficient Path Identification for Delay Testing - Time and Space Optimization.

Hannes C. Wittmann, Manfred Henftling

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Path Hashing to Accelerate Delay Fault Simulation.

Manfred Henftling, Hannes C. Wittmann, Kurt Antreich

Proceedings of the 31st Conference on Design Automation, 1994