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