Improving Constant-Coefficient Multiplier Verification by Partial Product Identification

作者：Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo