Konferenzbeitrag

Formale Verifikation von strukturell komplexen Multiplizierern

Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2023
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Ausgezeichnete Informatikdissertationen 2022 (Band D23)
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 Ru ̈ckwa ̈rtsschreiben. Als Ergebnis kann eine Vielzahl von Multiplizierern, einschließlich hochkomplexer und optimierter industrieller Benchmarks, verifiziert werden. Im Bereich der Fehlersuche wird ein vollsta ̈ndiger Prozess zur Feh- lersuche vorgeschlagen, einschließlich Fehlerlokalisierung und -korrektur, um die Platzierung von Fehlern in strukturell komplexen Multiplizierern zu finden und Korrekturen vorzunehmen.
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 Ru ̈ckwa ̈rtsschreiben. Als Ergebnis kann eine Vielzahl von Multiplizierern, einschließlich hochkomplexer und optimierter industrieller Benchmarks, verifiziert werden. Im Bereich der Fehlersuche wird ein vollsta ̈ndiger Prozess zur Feh- lersuche vorgeschlagen, einschließlich Fehlerlokalisierung und -korrektur, um die Platzierung von Fehlern in strukturell komplexen Multiplizierern zu finden und Korrekturen vorzunehmen.
Beschreibung
Mahzoon, Alireza (2023): Formale Verifikation von strukturell komplexen Multiplizierern. Ausgezeichnete Informatikdissertationen 2022 (Band D23). Bonn: Gesellschaft für Informatik e.V.. ISBN: 978-3-88579-981-8. pp. 191-200. Schoss Dagstuhl, Deutschland. 14.-17.05.2023
Schlagwörter
Zitierform
DOI
Tags