Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits | IEEE Conference Publication | IEEE Xplore