Mein Tätigkeitsbereich ist das Erfüllbarkeitsproblem (SAT). Ein Schwerpunkt meiner Interessen ist das effiziente Lösen von SAT-Instanzen. Mein anderer Schwerpunkt liegt im Bereich 'Test Digitaler Schaltungen'. In diesem untersuche ich das Generieren von Testmustern für Dynamische Fehlermodelle auf Basis des Erfüllbarkeitsproblems.
Test digitaler Schaltkreise
High Quality Test Pattern Generation and Boolean Satisfiability
Test Pattern Generation using Boolean Proof Engines
Robuste Erfüllbarkeitsalgorithmen für die Generierung hochwertiger Testmuster für digitale Schaltungen
SWORD: A SAT like Prover Using Word Level Information
On Optimization-based ATPG and its Application for Highly Compacted Test Sets
Dynamic X-filling for Peak Capture Power Reduction for Compact Test Sets
An effective fault ordering heuristic for SAT-based dynamic test compaction techniques
A Highly Fault-Efficient SAT-Based ATPG Flow
Efficient Data Structures and Methodologies for SAT-based ATPG providing High Fault Coverage in Industrial Application
Incremental Solving Techniques for SAT-based ATPG
MONSOON: SAT-based ATPG for Path Delay Faults Using Multiple-Valued Logics
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern
On Acceleration of SAT-based ATPG for Industrial Designs