Proceedings-Artikel

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.

Weitere Links

BibTeX