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 (May 2024), 1–10.