Manfred Henftling
According to our database1,
Manfred Henftling
authored at least 8 papers
between 1994 and 1997.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1997
Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen.
PhD thesis, 1997
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
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.
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995
Proceedings of the Proceedings EURO-DAC'95, 1995
Proceedings of the Proceedings EURO-DAC'95, 1995
Proceedings of the 1995 European Design and Test Conference, 1995
1994
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
Proceedings of the 31st Conference on Design Automation, 1994