1. A method comprising: selecting, by one or more processors, a configurable module that includes one or more control points and one or more configuration parameters, the one or more configuration parameters defining a parameter state space of the configurable module; generating, by one or more of the processors, a plurality of equivalence classes utilizing the one or more control points, each of the plurality of equivalence classes including a plurality of class representatives that each include one or more parameter values corresponding to the one or more configuration parameters; selecting, by one or more of the processors, one of the plurality of class representatives from each of the plurality of equivalence classes, resulting in a plurality of selected class representatives; and verifying each of the selected plurality of class representatives by one or more of the processors, wherein the verifying verifies the parameter state space of the configurable module.