Kishore Kumar Vinod, “Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences”, IJITEE, vol. 13, no. 3, pp. 1–10, May 2024, Accessed: Oct. 26, 2025. [Online]. Available: https://ijitee.com/index.php/home/article/view/IJITEE_13_03_001