Efficient Grbner basis reductions for formal verification of galois field multipliers.

Jinpeng Lv, Priyank Kalla, Florian Enescu

Browse the full DATE paper archive.