US 6,553,531 B1 · Method and apparatus for random stimulus generation

Abstract

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. The constraint expressions may impose a linear ordering in which random variable values must be assigned and this dependency is expressed by directed acyclic graphs (DAGs). The constraint expressions constraining each random variable are converted into ranges of permissible values from which a value is chosen at random. Rather than selecting a value for each random variable from within one of its ranges, as done for the randomize method, each boundary method call sequentially selects a combination of boundary values, for each random variable, from each random variable's set of ranges. By selecting a boundary value for each random variable of the instance, in a coordinated fashion, all combinations of boundary values can be produced through successive calls to the boundary function. As with the randomize method, since random variables may depend upon each other, the selection of a boundary value for one random variable may change the selection of boundary values available for other random variables.

Claims8

Dependent claims

A method for generating values, comprising:

generating a graph data structure representing a dependency relation between at least a first and a second value generator;
generating a linear ordering, from the graph data structure, such that the first value generator is ordered before the second value generator if the second value generator depends upon a first value generated by the first value generator;
generating a first valid-values data structure, containing at least a first range of valid values, for the first value generator;
assigning a first value to the first value generator that is a boundary value of the first valid-values data structure;
generating a second valid-values data structure, containing at least a second range of valid values, for the second value generator;
assigning a second value to the second value generator that is a boundary value of the second valid-values data structure;
and
wherein successive calls to the method for generating values causes the step of assigning a first value and the step of assigning a second value to be performed in a coordinated fashion such that successive combinations of boundary values are assigned to the first value generator and the second value generator.

5 more elements

A computer program product comprising:

a computer usable medium having computer readable code embodied therein for causing generation of values, the computer program product including:
computer readable program code devices configured to cause a computer to effect generating a graph data structure representing a dependency relation between at least a first and a second value generator;
computer readable program code devices configured to cause a computer to effect generating a linear ordering, from the graph data structure, such that the first value generator is ordered before the second value generator if the second value generator depends upon a first value generated by the first value generator;
computer readable program code devices configured to cause a computer to effect generating a first valid-values data structure, containing at least a first range of valid values, for the first value generator;
computer readable program code devices configured to cause a computer to effect assigning a first value to the first value generator that is a boundary value of the first valid-values data structure;
computer readable program code devices configured to cause a computer to effect generating a second valid-values data structure, containing at least a second range of valid values, for the second value generator;
computer readable program code devices configured to cause a computer to effect assigning a second value to the second value generator that is a boundary value of the second valid-values data structure;
and
wherein the computer readable program code devices are configured to cause a computer to effect, upon successive calls to the generation of values, causing the step of assigning a first value and the step of assigning a second value to be performed in a coordinated fashion such that successive combinations of boundary values are assigned to the first value generator and the second value generator.

6 more elements

Dependencies are inferred from the claim text.

Method and apparatus for random stimulus generation

Life of this patent

Method and apparatus for random stimulus generation

Life of this patent

Abstract

Claims8