Publication
BDD Minimization for Approximate Computing
Mathias Soeken; Daniel Große; Arun Chandrasekharan; Rolf Drechsler
In: 21st Asia and South Pacific Design Automation Conference ASP-DAC 2016. Asia and South Pacific Design Automation Conference (ASP-DAC-21), January 25-28, Macau, China, Pages 474-479, 2016.
Abstract
We present Approximate BDD Mini-mization (ABM) as a problem that has applicationin approximate computing. Given a BDD representation of a multi-output Boolean function, ABM asks whether there exists another function that has a smaller BDD representation but meets a threshold w.r.t. an error metric. We present operators to derive approximated functions and present algorithms to exactly compute the error metrics directly on the BDDrepresentation. An experimental evaluation demon-strates the applicability of the proposed approaches.