Skip to main content Skip to main navigation

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.