Concepedia

M. Henftling

MH

Statistics

Publications

8

Citations

154

H-Index

8

Active since

1995

Affiliations

Technical University of Munich(Current)

M. Henftling is an author at Technical University of Munich specializing in computer science, computer engineering, and engineering.

Publications per year

1995–2002

8

Publications

8

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists

Paul Tafertshofer, Andreas Ganz, M. Henftling · 1997 · 57 citations

Engineering, Computer Engineering, Computer Science +16

Bit parallel test pattern generation for path delay faults

M. Henftling, H. Wittman · 1995 · 15 citations

Engineering, Computer Engineering, Computer Science +11

Efficient fault ordering for automatic test pattern generation for sequential circuits

M. Henftling · 2002 · 15 citations

Engineering, Computer Engineering, Computer Science +10

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

M. Henftling, H.C. Wittmann, K. Antreich · 1995 · 15 citations

Engineering, Computer Engineering, Computer Science +14

Path delay ATPG for standard scan design

H.C. Wittmann, M. Henftling · European Design Automation Conference · 1995 · 13 citations

Engineering, Computer Engineering, Computer Science +16

1–5 of 8