Sharma, Rahul. " Unlocking the Power of Semiconductor Technology through Functional and Formal Verification" Journal of Advanced Research in Microelectronics and VLSI [Online], Volume 6 Number 2 (20 December 2023)