ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set

Reference

http://umji.sjtu.edu.cn/~wkqian/papers/Meng_Qian_Mishchenko_ALSRAC_Approximate_Logic_Synthesis_by_Resubstitution_with_Approximate_Care_Set.pdf

Requirements

Currently, ALSRAC only supports 64-bit machines, since the logic simulator uses 64-bit parallel simulation.

To compile ABC, you need:

• gcc (>=7.4.0)
• make (>=4.1)
• libreadline

To compile the whole project, you also need:

• libboost (>=1.71)
• ctags

Getting Started

Clone & Build ABC

Clone ABC into abc/.

git clone git@github.com:berkeley-abc/abc.git

Build a static library libabc.a.

cd abc/
make libabc.a
cd ..

Clone & Build ESPRESSO

Clone ESPRESSO into espresso/.

git clone git@github.com:dbzxysmc/espresso.git

Build a static library libespresso.a.

cd espresso/
make lib
cd ..

Build ALSRAC

Generate a executable program:

make

It will generate a program named main.

Use ./main -h to get help.

The benchmarks are in the BLIF format in the folder data/.

The standard cell libraries are in the folder data/library/.

Example:

./main -i data/su/c880.blif -l data/library/mcnc.genlib -m er -o appntk/ -t 0 -f 64 -b 0.05

In this case, approximate circuits are saved into appntk/ .