Meine Hauptinteressen liegen in drei Themenbereichen: Der vollständigen Suchraumexploration mit Techniken aus dem Schaltkreisentwurf, der Nutzung von Wortebeneninformationen bei der Schaltkreisverifikation und der Fehlerlistensortierung für ATPG.
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking
Autor: Robert Wille, Görschwin Fey, Marc Messing, Gerhard
Angst, Lothar Linhard, Rolf Drechsler
Konferenz: Euromicro Conference on Digital System Design (DSD) Pdf | Referenz: pp. 542-549, Parma, 2008
Using a Two-Dimensional Fault List for Compact Automatic Test Pattern Generation
Autor: Marc Messing, Andreas Glowatz, Friedrich Hapke, Rolf Drechsler
Workshop: 10th IEEE Latin-American TestWorkshop (LATW)
Referenz: Búzios, Rio de Janeiro, 2009
