Joint precision optimization and high level synthesis for approximate computing
ABACUS: A technique for automated behavioral synthesis of approximate computing circuits