Formal verification of error correcting circuits using computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montao, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Browse the full FMCAD paper archive.