Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Forschung « Projekte

» Schnelle formale Verifikation durch Reverse Engineering
»  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.








Bereiche
Projekte
Kooperationen





English


Die Arbeitsgruppe






Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt