Skip to main content Skip to main navigation

Publikation

Symbolic Error Metric Determination for Approximate Computing

Arun Chandrasekharan; Daniel Große; Mathias Soeken; Rolf Drechsler
In: 19. 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), March 1-2, Freiburg, Germany, 2016.