Publikation

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.

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