Mein Forschungsschwerpunkt liegt im Bereich der formalen Verifikation, indem ich das Schaltungsverhalten als logisches Programm abbilde und im Verifikationsprozess die Answer-Set-Programmierung anwende.
Polynomial Formal Verification of Adder Circuits Using Answer Set Programming
Autor: Mohamed Nadeem, Jan Kleinekathöfer and Rolf Drechsler
Workshop: 2023 Reed-Muller Workshop (RM2023) Pdf | Referenz: Matsue, Shimane, Japan
