Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers | IEEE Conference Publication | IEEE Xplore