Email Record: Synthesis of arithmetic circuits :