Improving Constant-Coefficient Multiplier Verification by Partial Product Identification Venue DATE Year 2008 Authors: Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo