ABACUS: A technique for automated behavioral synthesis of approximate computing circuits
Odin II - An Open-Source Verilog HDL Synthesis Tool for CAD Research