Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing. - Namrata Shekhar; Sudhakar Kalla; Florian Enescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)