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