Sound and Automated Verification of Real-World RTL Multipliers.

Mertcan Temel, Warren A. Hunt

Browse the full FMCAD paper archive.