Intelligent Stimulus Selection to Accelerate Coverage Closure of Simulation-Based Verification for Digital Designs