Mahzoon, AlirezaReischuk, Rüdiger2023-11-092023-11-092023978-3-88579-981-8https://dl.gi.de/handle/20.500.12116/42595Diese 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.deText/Conference Paper