Error detection/correction and fault detection/recovery – Pulse or data error handling – Digital logic testing
Reexamination Certificate
2011-03-01
2011-03-01
Torres, Joseph D (Department: 2112)
Error detection/correction and fault detection/recovery
Pulse or data error handling
Digital logic testing
C714S728000
Reexamination Certificate
active
07900111
ABSTRACT:
Capabilities are added to a Hardware Verification Language that facilitates the generation of test data. Random number sources, called random variables, can be produced by adding a randomness attribute to a variable declaration of a class definition. A “randomize” method call to a class instance produces a random value for each random variable. Constraint blocks, of a class definition, control random variables with constraint expressions. Dependency, of random variable value assignment, as determined by constraint expressions, can be expressed by a DAG. A constraint expression is converted into ranges of permissible values, from which a value is randomly chosen by a randomize method. A “boundary” method call sequentially selects a combination of boundary values, for each random variable, from each random variable's set of ranges. Coordinated selection of a boundary values permits all combinations of boundary values to be produced through successive boundary calls.
REFERENCES:
patent: 6076083 (2000-06-01), Baker
Mark R. Headington and David D. Riley, “Data Abstraction and Structures Using C++”, D. C. Heath and Company, 1994.
Random.java, Copyright 1995-1998 by Sun Microsystems, Inc.+.
Create a new instance of the receiver with D. Knuth's constants. (c) Copyrights Didier BESSET, 1999.
Random number generator class From: David N. Smith Date: Aug. 17, 1997.
Joines et al., Fundamentals of Object-Oriented Simulation, Proceedings of the 1998 Winter Simulation Conference.
Coddington et al., Interfaces and Implementations of Random Number Generators for Java Grande Applications, Feb. 15, 1999.
“Structure and Interpretation of Computer programs” by H. Abelson, G.J. Sussman and J. Sussman, 1986, The MIT Press, Massachusetts Institute of Technology, pp. vii-x, 20-21, 168-170, 230-232, 335-362.
Chapiro Daniel Marcos
Kim Won Sub
Meyer Mary Lynn
Park Vaughan Fleming & Dowler LLP
Synopsys Inc.
Torres Joseph D
LandOfFree
Method and apparatus for random stimulus generation does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for random stimulus generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for random stimulus generation will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2717536