Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic

Cunxi Yu, Daniel Holcomb, Maciej Ciesielski

Current techniques for formally verifying circuits implemented in Galois field (GF) arithmetic are limited to those with a known irreducible polynomial P(x). This paper presents a…