Sharma, Rahul. " Unlocking the Power of Semiconductor Technology through Functional and Formal Verification." Journal of Advanced Research in Microelectronics and VLSI [Online], 6.2 (2023): 16-21. Web. 31 Jan. 2025