The present invention adds capabilities to a Hardware Verification Language (HVL) which facilitate the generation of random test data. Sources of random numbers are easily produced by simply adding a randomness attribute to a variable declaration of a class definition. Such variables are called random variables. A "randomize" method call may be made to an instance of the class definition to produce random values for each random variable. The values assigned to random variables are controlled using constraint blocks, which are part of the class definition. A constraint block is comprised of constraint expressions, where each constraint expression limits the values that can be assigned to a random variable on the left-hand-side (lhs) of the constraint expression. If a constraint block of an instance is active or ON, then all the constraint expressions in the block will act to constrain their lhs random variable. A constraint block which is OFF means that all of its constraint expressions will not act to constrain their random variables. The method "constraint_mode" can be used to turn ON or OFF any constraint blocks of an instance.

La actual invención agrega las capacidades a una lengua de la verificación del hardware (HVL) que facilitan la generación de los datos de prueba al azar. Las fuentes de números al azar son producidas fácilmente simplemente agregando una cualidad de la aleatoriedad a un declaración variable de una definición de la clase. Tales variables se llaman las variables al azar. "seleccione al azar" la llamada del método puede ser hecho a un caso de la definición de la clase para producir los valores al azar para cada variable al azar. Los valores asignados a las variables al azar son los bloques controlados del constreñimiento que usan, que son parte de la definición de la clase. Un bloque del constreñimiento se abarca de las expresiones del constreñimiento, donde cada expresión del constreñimiento limita los valores que se pueden asignar a una variable al azar en el izquierdo-mano-lado (lado izquierdo) de la expresión del constreñimiento. Si un bloque del constreñimiento de un caso es activo o ENCENDIDO, entonces todas las expresiones del constreñimiento en el bloque actuarán para obligar su variable al azar del lado izquierdo. Un bloque del constreñimiento que es de medios que todas sus expresiones del constreñimiento no actuarán para obligar sus variables al azar. El método "constraint_mode" se puede utilizar para girarse o de cualquier bloque del constreñimiento de un caso.