Refactored version of the original DALS: Delay-Driven Approximate Logic Synthesis, using personal thin wrapper abc-plus.

Zhuangzhuang Zhou, Yue Yao, Shuyang Huang, Sanbao Su, Chang Meng, and Weikang Qian, "DALS: Delay-driven approximate logic synthesis," in Proceedings of the 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Diego, CA, USA, 2018, pp. 86:1-86:7.

The gcc alias on macOS is actually clang. For compatibility, GNU gcc, instead of clang provided by macOS, is taken into use.

First, install gcc using homebrew.

brew install gcc@8

Install boost via homebrew. Make sure that --cc=gcc-8 flag is added for the installation command. Otherwise clang compiled version will be installed and mistakes will happen during linking.

brew install boost --cc=gcc-8

To prevent boost from being updated/upgraded to clang compiled version, it needs to be pinned.

brew pin boost

Install the latest version of boost library.

sudo apt install libboost-all-dev

• include: header files
• src: source codes
• abc: Berkeley ABC
• abc-plus: C++ wrapper of Berkeley ABC
• benchmark: benchmarks
• out: output approximate circuits