Accelerate Functional Coverage Closure Using Machine-Learning-Based Test Selection