A critical component of the microprocessor, the core component of central processing unit. Arithmetic and logic circuits comprises the combinational logic that implements logic operations such as AND ...

Abstract: Arithmetic circuits require a verification process to prove that the gate level circuit is functionally equivalent to a high level specification. This paper presents an automatic equivalence ...