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)