“Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences”. International Journal of Information Technology and Electrical Engineering (IJITEE) - UGC Care List Group - I, vol. 13, no. 3, May 2024, pp. 1-11, https://ijitee.com/index.php/home/article/view/IJITEE_51001.