Formal Design of Arithmetic Circuits Based on Arithmetic Description Language