IEEE

SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification

Abstract: The paper addresses the formal verification of gate-level square-root circuits. Division and square root functions are ...