Jitendra Kumar, Asutosh Srivastava, Masahiro Fujita. Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees. In 23rd International Symposium on Quality Electronic Design, ISQED 2022, Santa Clara, CA, USA, April 6-7, 2022. pages 58-63, IEEE, 2022. [doi]
Abstract is missing.