Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein. Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods in System Design, 45(2):189-212, 2014. [doi]
Abstract is missing.