Mechanically Verifying a Family of Multiplier Circuits.

Deepak Kapur, Mahadevan Subramaniam

Browse the full CAV paper archive.