Kishore Kumar Vinod (2024) “Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences”, International Journal of Information Technology and Electrical Engineering (IJITEE), 13(3), pp. 1–10. Available at: https://ijitee.com/index.php/home/article/view/IJITEE_13_03_001 (Accessed: 26 October 2025).