A computer program product embodied on a non-transitory computer usable medium includes a sequence of instructions causing at least one processor to execute a method of identification of useful untested states of an electronic design. A computer receives a representation of said electronic design comprised at least in part of at least one analog portion, at least one specification of said electronic design, at least one manufacturing process variation of said at least one analog portion of said electronic design and at least one functional variation of said at least one analog portion of said electronic design. At least one set of valid states delimited by one of said at least one specification, said at least one manufacturing process variation and said at least one functional variation is then generated.