PolyCleaner: clean your polynomials before backward rewriting to verify million-gate multipliers.

Alireza Mahzoon, Daniel Groe, Rolf Drechsler

Browse the full ICCAD paper archive.