Jitendra Kumar, Yukio Miyasaka, Asutosh Srivastava, Masahiro Fujita. Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(4):1365-1378, April 2023. [doi]
Abstract is missing.