Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. BDD Minimization for Approximate Computing
 
conference paper

BDD Minimization for Approximate Computing

Soeken, Mathias  
•
Grosse, Daniel
•
Chandrasekharan, Arun
Show more
2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016)
21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016)

We present Approximate BDD Minimization (ABM) as a problem that has application in 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 BDD representation. An experimental evaluation demonstrates the applicability of the proposed approaches.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

2016_aspdac.pdf

Access type

openaccess

Size

613.38 KB

Format

Adobe PDF

Checksum (MD5)

8acce120cc9428798cb97f55e1b22845

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés