ABACUS: A technique for automated behavioral synthesis of approximate computing circuits
A methodology for energy-quality tradeoff using imprecise hardware