Konferenzbeitrag
Formale Verifikation von strukturell komplexen Multiplizierern
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2023
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Diese Dissertation befasst sich mit den anspruchsvollen Aufgaben der Verifikation und Fehlersuche bei strukturell komplexen Multiplizierern. Im Bereich der Verifikation werden zuna ̈chst die Herausforderungen der auf Symbolischer Computeralgebra (SCA) basierenden Verifikation untersucht, wenn es darum geht, die Korrektheit von Multiplizierern zu beweisen. Anschließend werden drei Techniken vorgeschlagen, um SCA zu verbessern und zu erweitern: die Entfernung verschwindender Monomere, Reverse Engineering und dynamisches Rückwärtsschreiben. Als Ergebnis kann eine Vielzahl von Multiplizierern, einschließlich hochkomplexer und optimierter industrieller Benchmarks, verifiziert werden. Im Bereich der Fehlersuche wird ein vollständiger Prozess zur Fehlersuche vorgeschlagen, einschließlich Fehlerlokalisierung und -korrektur, um die Platzierung von Fehlern in strukturell komplexen Multiplizierern zu finden und Korrekturen vorzunehmen.