Schnelle formale Verifikation durch Reverse Engineering

Im Projekt werden Reverse Engineering Techniken entworfen mit dem Ziel der Beschleunigung formaler Verifikation.

Kontakt: Dr. Mathias Soeken

Reverse Engineering beschreibt die Technik aus einer Gatterebenenrepräsentation eines Schaltkreis Hochebeneninformationen zu extrahieren wie beispielsweise arithmetische Komponenten. Anwendungsfeld in diesem Projekt ist insbesondere formale Verifikation dessen Effizienz durch die zusätzlichen Information gesteigert werden soll.