Publikation

Polynomial Formal Verification of Prefix Adders

Alireza Mahzoon, Rolf Drechsler

In: 30th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2021) July 19-22 Virtual 2021.

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