Der Kernpunkt meiner Arbeit ist die Testgenerierung im Entwurfsablauf von digitalen Schaltungen. Hier arbeite ich an Methoden sowohl zur vollständigen und kompakten Testerzeugung für den Produktionstest als auch zur Validierung des Entwurfsprozesses auf hohen Abstraktionsebenen. Insbesondere arbeite ich mit formalen Beweistechniken.
Modulares und rekonfigurierbares Systemdesign für Unterwasserfahrzeuge
Modular and Reconfigurable System Design for Underwater Vehicles
ReCoFused partial reconfiguration for secure moving-target countermeasures on FPGAs
On Optimization-based ATPG and its Application for Highly Compacted Test Sets