Equivalence checking of arithmetic circuits on the arithmetic bit level | IEEE Journals & Magazine | IEEE Xplore