Optimal choice of multiple value sets for logic design verification