High-level optimization of integer multipliers over a finite bit-width with verification capabilities.

Omid Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita

Browse the full MEMOCODE paper archive.