Design and verification of parallel multipliers using arithmetic description language: ARITH

This paper proposes the basic concept of an arithmetic description language called ARITH. The use of ARITH makes possible: (i) formal description of arithmetic algorithms, including those using unconventional number systems; (ii) formal verification of the described arithmetic algorithms; and (iii) translation of arithmetic algorithms to equivalent HDL codes. In this paper, we demonstrate the potential of ARITH through an experimental design of parallel multipliers using a binary signed-digit number system.