Efficient Gröbner basis reductions for formal verification of galois field multipliers | IEEE Conference Publication | IEEE Xplore