Design verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling
First Claim
1. A method of generating valid random input stimulus sequences for a logic circuit model comprising:
- a. enumerating critical resource requirements;
b. enumerating critical resource availabilities;
c. selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability.
6 Assignments
0 Petitions
Accused Products
Abstract
Testing a model of a logic circuit model. The testing includes generating valid random input stimulus sequences for a logic circuit model. Enumerating critical resource requirements, enumerating critical resource availabilities does this, and selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability. This includes generating a plurality of possible combinations of input stimulus sequences and generating an array representation of critical resource requirements. These are used to generate an array representation of critical resources availabilities.
-
Citations
36 Claims
-
1. A method of generating valid random input stimulus sequences for a logic circuit model comprising:
-
a. enumerating critical resource requirements;
b. enumerating critical resource availabilities;
c. selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method of generating valid random input stimulus sequences for a logic circuit model and testing the circuit model comprising:
-
a. initializing the logic circuit model;
b. calculating resource usage;
c. selecting a command;
d. parsing resource usage of the selected command, determining available times to issue the selected command, and executing the command;
e. proceeding to a next command and determining available times to issue the command;
f. parsing resource availability of the command for an available time to execute the command;
g. if no available time, pausing the command and resending the command;
h. if there is an available time, selecting an optimal window within which to send the command;
i. scheduling the command;
j. executing the command; and
k. choosing a next command if a next command exists, and wherein if the next command is part of a list selecting the next command sequentially or randomly, else exiting. - View Dependent Claims (10, 11, 12)
-
-
13. A system for generating an array representation of critical resource requirements;
-
b. generating an array representation of critical resources availabilities;
c. generating a plurality of possible combinations of input stimulus sequences; and
d. applying an input stimulus sequence to the logic circuit model. - View Dependent Claims (14, 15, 16, 17, 18, 19, 20)
-
-
21. A system for generating valid random input stimulus sequences for a logic circuit model and testing the circuit model comprising:
-
a. initializing the logic circuit model;
b. calculating resource usage;
c. selecting a command;
d. parsing resource usage of the selected command, determining available times to issue the selected command, and executing the command;
e. proceeding to a next command and determining available times to issue the command;
f. parsing resource availability of the command for an available time to execute the command;
g. if no available time, pausing the command and resending the command;
h. if there is an available time, selecting an optimal window within which to send the command;
i. scheduling the command;
j. executing the command; and
k. choosing a next command if a next command exists, and wherein if the next command is part of a list selecting the next command sequentially or randomly else exiting. - View Dependent Claims (22, 23, 24)
-
-
25. A program product comprising computer readable computer code for carrying out a method of generating valid random input stimulus sequences for a logic circuit model comprising:
-
a. enumerating critical resource requirements;
b. enumerating critical resource availabilities;
c. selecting of stimulus sequences and determining legal times for execution of said stimulus sequences based on resource availability. - View Dependent Claims (26, 27, 28, 29, 30, 31, 32)
-
-
33. A program product having computer readable computer code for generating valid random input stimulus sequences for a logic circuit model and testing the circuit model comprising:
-
a. initializing the logic circuit model;
b. calculating resource usage;
c. selecting a command;
d. parsing resource usage of the selected command, determining available times to issue the selected command, and executing the command;
e. proceeding to a next command and determining available times to issue the command;
f. parsing resource availability of the command for an available time to execute the command;
g. if no available time, pausing the command and resending the command;
h. if there is an available time, selecting an optimal window within which to send the command;
i. scheduling the command;
j. executing the command; and
k. choosing a next command if a next command exists, and wherein if the next command is part of a list selecting the next command sequentially or randomly, else exiting. - View Dependent Claims (34, 35, 36)
-
Specification