Towards Formal Verification of Optimized and Industrial Multipliers | IEEE Conference Publication | IEEE Xplore