High-level optimization of integer multipliers over a finite bit-width with verification capabilities | IEEE Conference Publication | IEEE Xplore