Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.

Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan

Browse the full ICCAD paper archive.