Exploiting vanishing polynomials for equivalence verification of fixed-size arithmetic datapaths | IEEE Conference Publication | IEEE Xplore