Publikation

GenMul: Generating architecturally complex multipliers to challenge formal verification tools

Alireza Mahzoon, Daniel Große, Rolf Drechsler

In: 28th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2019) June 21-23 Lausanne Switzerland 2019.

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