Publikation

GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

Alireza Mahzoon, Daniel Große, Rolf Drechsler

In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021) March 18-19 München/Virtual Germany 2021.

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