Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences. IJITEE. 2024;13(3):1-11. Accessed December 23, 2024. https://ijitee.com/index.php/home/article/view/IJITEE_51001