1. A computer-readable, non-transitory medium encoded with a design verification program which, when executed by a computer, causes the computer to perform an operation, the operation comprising: selecting, in response to a verification request for a procedure described in a design specification of a target product, one or more verification datasets for verifying the procedure; determining a priority score of each parameter that the selected verification datasets specify as a constraint providing conditions for execution of the procedure, wherein the parameters include those specified as input values for registers or ports defined in the design specification, and wherein a higher priority score is assigned to a parameter associated with the registers or ports than a parameter not associated with any of the registers and ports; determining a verification order of the selected verification datasets, based on the determined priority scores of the parameters; and producing data identifying the verification datasets, together with indication of the determined verification order.