keszocze / abo

Another BDD Optimization

abo Another BDD Optimization

Installation

The following packages are needed (assuming a Ubuntu based Linux distribution)

• cmake
• libboost-serialization-dev
• libtbb-dev

If the documentation is being built, the following additional packages are also necessary

• doxygen
• graphviz
• python3
• python3-pip
• sphinx (installed with pip3)
• sphinx_rtd_theme (installed with pip3)

Building the documentation can be turned off by setting the cmake variable BUILD_DOCUMENTATION to OFF. If it is being built, the resulting files are located in the build folder in docs/sphinx.

How to reproduce the results

Build the code using cmake

• mkdir build && cd build
• cmake ..
• make

To reproduce the results, run the script 'run_experiments.sh' in the build folder. For each experiment, one text file in the folder 'result' will be created.

How to cite

If you are using abo, please cite the following paper:

Oliver Keszocze BDD-based Error Metric Analysis, Computation and Optimization. In: IEEE Access

You can use the following bibtex code:

@ARTICLE{Keszocze2022,
  author={Keszocze, Oliver},
  journal={IEEE Access}, 
  title={BDD-based Error Metric Analysis, Computation and Optimization}, 
  year={2022},
  doi={10.1109/ACCESS.2022.3140557}}

References

[Soeken2016] Soeken, M., Große, D., Chandrasekharan, A., Drechsler, R., 2016. BDD minimization for approximate computing, in: Asia and South Pacific Design Automation Conference. Macau, China. https://doi.org/10.1109/ASPDAC.2016.7428057

[Froehlich2019] Froehlich, S., Große, D., Drechsler, R., 2019. One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing, in: Design, Automation and Test in Europe. Florence, Italy, pp. 284–287. https://doi.org/10.23919/DATE.2019.8715138

[Keszocze2018] Keszocze, O., Soeken, M., Drechsler, R., 2018. The complexity of error metrics. Information Processing Letters 139, 1–7. https://doi.org/10.1016/j.ipl.2018.06.010