Formal verification of parametric multiplicative division implementations | IEEE Conference Publication | IEEE Xplore