Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu. Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1623-1628, ACM, 2015. [doi]
Abstract is missing.