Manfred Henftling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1994–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICCAD | A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. | Paul Tafertshofer, Andreas Ganz, Manfred Henftling |
| 1995 | DATE | Bit parallel test pattern generation for path delay faults. | Manfred Henftling, Hannes Wittman |
| 1995 | ICCAD | A single-path-oriented fault-effect propagation in digital circuits considering multiple-path sensitization. | Manfred Henftling, Hannes C. Wittmann, Kurt Antreich |
| 1994 | DAC | Path Hashing to Accelerate Delay Fault Simulation. | Manfred Henftling, Hannes C. Wittmann, Kurt Antreich |