Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams | IEEE Journals & Magazine | IEEE Xplore