Achieving Logic Verification Closure in State-Dependent RTL Designs through Optimized Test Sequences. IJITEE 2024, 13 (3), 1-11.