Formal verification of error correcting circuits using computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Viresh Paruthi; Robert Shadowen; Ali El-Zein (FMCAD, 2012)

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Barry M. Trager; Viresh Paruthi; Robert Shadowen; Ali El-Zein (Formal Methods Syst. Des., 2014)