Path Hashing to Accelerate Delay Fault Simulation. - Manfred Henftling; Hannes C. Wittmann; Kurt Antreich (DAC, 1994)

Efficient Path Identification for Delay Testing - Time and Space Optimization. - Hannes C. Wittmann; Manfred Henftling (EDAC-ETC-EUROASIC, 1994)

Bit parallel test pattern generation for path delay faults. - Manfred Henftling; Hannes Wittman (ED&TC, 1995)

A formal non-heuristic ATPG approach. - Manfred Henftling; Hannes C. Wittmann; Kurt Antreich (EURO-DAC, 1995)

Path delay ATPG for standard scan design. - Hannes C. Wittmann; Manfred Henftling (EURO-DAC, 1995)

A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization. - Manfred Henftling; Hannes C. Wittmann; Kurt Antreich (ICCAD, 1995)

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

Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen. - Manfred Henftling (Shaker, 1997)