Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Grbner Bases.

Tim Pruss, Priyank Kalla, Florian Enescu

Browse the full DAC paper archive.