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]
@article{KumarMSF23,
title = {Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams},
author = {Jitendra Kumar and Yukio Miyasaka and Asutosh Srivastava and Masahiro Fujita},
year = {2023},
month = {April},
doi = {10.1109/TCAD.2022.3192176},
url = {https://doi.org/10.1109/TCAD.2022.3192176},
researchr = {https://researchr.org/publication/KumarMSF23},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {42},
number = {4},
pages = {1365-1378},
}