Automated Synthesis of Energy-Efficient Reconfigurable-Precision Circuits