Improving Constant-Coefficient Multiplier Verification by Partial Product Identification | IEEE Conference Publication | IEEE Xplore