Publication

Towards Polynomial Formal Verification of Complex Arithmetic Circuits

Rolf Drechsler, Alireza Mahzoon, Mehran Goli

In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022) April 6-8 Prague Czech Republic 2022.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz