Kishore Kumar Vinod. Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences. IJITEE [Internet]. 2024 May 14 [cited 2025 Oct. 26];13(3):1-10. Available from: https://ijitee.com/index.php/home/article/view/IJITEE_13_03_001