Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees | IEEE Journals & Magazine | IEEE Xplore