Sharma, R. 2023 Dec 20. Unlocking the Power of Semiconductor Technology through Functional and Formal Verification. Journal of Advanced Research in Microelectronics and VLSI. [Online] 6:2