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项目旨在改进基于二元决策图（BDD）的近似计算算法。BDD为布尔函数提供了紧凑的表示，并在解决各种问题方面得到了应用。该项目研究了BDD如何从理论和实践的角度来表示近似。该项目提出了几种算法基于这一原则。开源软件和基准平台将在项目结束时联合收割机研究工作，作为未来研究的联系。

项目成果

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