SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification | IEEE Conference Publication | IEEE Xplore