A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs