Induction-Based Gate-Level Verification of Multipliers.

Ying-Tsai Chang, Kwang-Ting Cheng

Browse the full ICCAD paper archive.