Improving Constant-Coefficient Multiplier Verification by Partial Product Identification.

Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo

Browse the full DATE paper archive.