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