Source codes for two algorithms in the paper "ALFANS: Multi-level Approximate Logic Synthesis Framework by Approximate Node Simplification" that involve both error rate and error magnitues constraints.
This project uses external packages CUDD and ABC. After installing them, the paths in Makefile need to be modified according to your own directories.
- Yi Wu and Weikang Qian, "ALFANS: Multi-level Approximate Logic Synthesis Framework by Approximate Node Simplification," in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 7, pp. 1470-1483, 2020.