MANIAC: BDD Manipulation for Approximate Computing

• Applicant: Professor Dr. Rolf Drechsler
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2015 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 283653053

The MANIAC project aims at improving algorithms for approximate computing based on Binary Decision Diagrams (BDDs). BDDs provide a compact representation for Boolean functions and find application in solving a variety of problems. The project investigates how BDDs can represent approximation from both a theoretical and a practical point of view. The project proposes several algorithms based on this principle. Open source software and benchmark platforms will combine the research effort at the end of the project as link for future research.

• DFG Programme: Research Grants