2024. Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences. International Journal of Information Technology and Electrical Engineering (IJITEE) - UGC Care List Group - I. 13, 3 (May 2024), 1–11.