Manfred Henftling

Publication Activity (10 Years)

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

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Paul Tafertshofer, Andreas Ganz, Manfred Henftling
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. ICCAD (1997)
Manfred Henftling, Hannes C. Wittmann, Kurt Antreich
A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization. ICCAD (1995)
Manfred Henftling, Hannes Wittman
Bit parallel test pattern generation for path delay faults. ED&TC (1995)
Hannes C. Wittmann, Manfred Henftling
Path delay ATPG for standard scan design. EURO-DAC (1995)
Manfred Henftling, Hannes C. Wittmann, Kurt Antreich
A formal non-heuristic ATPG approach. EURO-DAC (1995)
Manfred Henftling, Hannes C. Wittmann, Kurt Antreich
Path Hashing to Accelerate Delay Fault Simulation. DAC (1994)
Hannes C. Wittmann, Manfred Henftling
Efficient Path Identification for Delay Testing - Time and Space Optimization. EDAC-ETC-EUROASIC (1994)