Namrata Shekhar Priyank Kalla M. Brandon Meredith Florian Enescu Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra. 376-387 2008 16 IEEE Trans. VLSI Syst. 4 http://dx.doi.org/10.1109/TVLSI.2008.917409 db/journals/tvlsi/tvlsi16.html#ShekharKME08