SHARMA, Rahul. Unlocking the Power of Semiconductor Technology through Functional and Formal Verification. Journal of Advanced Research in Microelectronics and VLSI, [S.l.], v. 6, n. 2, p. 16-21, dec. 2023. Available at: <http://thejournalshouse.com/index.php/ADR-Microelectronics-VLSI/article/view/972>. Date accessed: 31 jan. 2025.