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