Modular Verification of Multipliers.

Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi

Browse the full FMCAD paper archive.