Optimizing Constraint Selection in a Design Verification Environment for Efficient Coverage Closure