ACV: an arithmetic circuit verifier | IEEE Conference Publication | IEEE Xplore