Publication
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing
Saman Fröhlich; Daniel Große; Rolf Drechsler
In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20), February 8-9, Bremen, Germany, 2017.