Induction-based gate-level verification of multipliers | IEEE Conference Publication | IEEE Xplore