A macro block is a functional unit that can be re-used in circuit designs. The problem of general macro block mapping is to identify such embedded parts, whose I/O signals are unknown, from the ...

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 ...

Research from all publishers Recent developments in the formal verification of arithmetic circuits have focused on enhancing both the scalability and efficiency of verification tools. For example ...