Column-wise verification of multipliers using computer algebra.

Daniela Ritirc, Armin Biere, Manuel Kauers

Browse the full FMCAD paper archive.