MANIAC: BDD Manipulation für Approximate Computing

• Antragsteller: Professor Dr. Rolf Drechsler
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2015 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 283653053

Das Projekt MANIAC entwickelt und untersucht Algorithmen für Approximate Computing mit Hilfe von binären Entscheidungsdiagrammen (engl.: Binary Decision Diagrams, kurz BDDs). BDDs bieten eine kompakte Darstellung für Boolesche Funktionen und finden Anwendung bei der Lösung einer Vielzahl von Problemen. Das Projekt untersucht wie sich approximierte Funktionen sowohl von einem theoretischen als auch einem praktischen Standpunkt aus darstellen lassen. Basierend auf diesem Prinzip, werden Ideen zu verschiedene Algorithmen im Projekt vorgestellt. Die Ergebnisse werden in Form von Open Source Software und einer Benchmark Plattform anderen Wissenschaftlern für zukünftige Forschung auf dem Gebiet zur Verfügung gestellt.

• DFG-Verfahren: Sachbeihilfen