D
Daniel Tille
Researcher at Infineon Technologies
Publications - 30
Citations - 353
Daniel Tille is an academic researcher from Infineon Technologies. The author has contributed to research in topics: Automatic test pattern generation & Boolean satisfiability problem. The author has an hindex of 8, co-authored 26 publications receiving 303 citations. Previous affiliations of Daniel Tille include University of Bremen.
Papers
More filters
Journal ArticleDOI
On Acceleration of SAT-Based ATPG for Industrial Designs
Rolf Drechsler,Stephan Eggersgluss,Görschwin Fey,A. Glowatz,Friedrich Hapke,Juergen Schloeffel,Daniel Tille +6 more
TL;DR: This paper presents a technique that applies structural knowledge about the circuit during the transformation of Boolean SAT solvers and shows that the size of the problem instances decreases, as well as the run time of the ATPG process.
Short Papers On Acceleration of SAT-Based ATPG for Industrial Designs
Rolf Drechsler,Görschwin Fey,Andreas Glowatz,Friedrich Hapke,Juergen Schloeffel,Daniel Tille +5 more
TL;DR: In this article, the authors present a technique that applies structural knowledge about the circuit during the transformation of a Boolean SAT solver to reduce the size of the problem instances and the run time of the ATPG process.
Book
Test Pattern Generation using Boolean Proof Engines
TL;DR: In Test Pattern Generation using Boolean Proof Engines, an introduction to ATPG, the basic concept and classical ATPG algorithms are reviewed, and the formulation as a SAT problem is considered.
Journal ArticleDOI
Incremental Solving Techniques for SAT-based ATPG
TL;DR: A detailed run time analysis of a state-of-the-art SAT-based ATPG tool is given and it is shown that both SAT instance generation and SAT instance solving can be accelerated and the robustness of the ATPG process is increased.
Proceedings ArticleDOI
A fast untestability proof for SAT-based ATPG
Daniel Tille,Rolf Drechsler +1 more
TL;DR: This paper presents a preprocessing technique that speeds up the classification of untestable faults by accelerating the SAT instance generation, which increases the robustness of the entire ATPG process.