Homepage Sitemap Contact




Home « Software « MANIAC


MANIAC

MANIAC is a project funded by the DFG that investigates BDD Manipulation for Approximate Computing.

Software
Algorithms developed in the MANIAC project have been integrated into the CirKit framework. The command comb_approx implements the algorithm presented in [1]. An example CirKit command sequence is:

cirkit> read_aiger c17.aig
cirkit> ps -a
cirkit> comb_approx -av -m 2 -l 2
cirkit> ps -a
cirkit> write_aiger c17_approximated.aag
cirkit> quit
Call comb_approx -h to see details about the command options.

Publications
[1] Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler: BDD Minimization for Approximate Computing, in: ASP-DAC (2016).




English








Sitemap Kontakt

ISMVL2014 DUHDE