“Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences” (2024) International Journal of Information Technology and Electrical Engineering (IJITEE) - UGC Care List Group - I, 13(3), pp. 1–11. Available at: https://ijitee.com/index.php/home/article/view/IJITEE_51001 (Accessed: 23 December 2024).