Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation | IEEE Conference Publication | IEEE Xplore