MANIAC: BDD Manipulation for Approximate Computing

MANIAC：近似计算的 BDD 操作

• 批准号: 283653053
• 负责人: Professor Dr. Rolf Drechsler
• 金额: --
• 依托单位: Arbeitsgruppe Rechnerarchitektur und Zuverlässige Eingebettete Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2015
• 资助国家: 德国
• 起止时间: 2014-12-31 至 2018-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/283653053?language=en
• 关键词: MANIAC; BDD; Manipulation; Approximate; Computing

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.

MANIAC项目旨在改进基于二叉决策图(BDDS)的近似计算算法。BDDS为布尔函数提供了一种紧凑的表示，并在解决各种问题中得到了应用。该项目从理论和实践两个角度研究BDDS如何表示近似值。该项目提出了几种基于这一原理的算法。开源软件和基准平台将在项目结束时将研究工作结合起来，作为未来研究的纽带。

项目成果

Approximation-aware rewriting of AIGs for error tolerant applications

• DOI: 10.1145/2966986.2967003
• 发表时间: 2016-11
• 期刊: 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
• 作者: Arun Chandrasekharan;Mathias Soeken;Daniel Große;R. Drechsler