Formal verification of sequential Galois field arithmetic circuits using algebraic geometry.

Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu

Browse the full DATE paper archive.