Method for checking the integrity of a compute node
US-2024303346-A1 · Sep 12, 2024 · US
US9904616B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-9904616-B2 |
| Application number | US-201213666081-A |
| Country | US |
| Kind code | B2 |
| Filing date | Nov 1, 2012 |
| Priority date | Dec 14, 2011 |
| Publication date | Feb 27, 2018 |
| Grant date | Feb 27, 2018 |
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
What the patent document calls the invention.
A short plain-language summary of the technical disclosure.
Who owns or filed the patent and who is credited as inventor.
Filing, priority, publication, and grant dates set the timeline.
The legal scope of protection — read this for what is actually claimed.
Technology tags used to group this patent with similar filings.
Prior art links and similar publications in this corpus.
Official abstract text for this publication.
Generating instructions, in particular for mailbox verification in a simulation environment. A sequence of instructions is received, as well as selection data representative of a plurality of commands including a special command. Repeatedly selecting one of the plurality of commands and outputting an instruction based on the selected command. The outputting of an instruction includes outputting a next instruction in the sequence of instructions if the selected command is the special command, and outputting an instruction associated with the command if the selected command is not the special command.
Opening claim text (preview).
What is claimed is: 1. A method of generating computer instructions, comprising: receiving a sequence of instructions, the sequence having an order in which instructions of the sequence of instructions are to appear relative to each other; receiving selection data representative of a plurality of commands including a special command; and repeatedly selecting one of said plurality of commands, performing, for each iteration of the repeatedly selecting, a check whether the selected command of the plurality of commands is the special command, and outputting a computer instruction to a computer instruction queue based on the checking whether the selected command is the special command, wherein said selecting comprises obtaining a random number and selecting said one of said plurality of commands based on said random number, and wherein said outputting of the computer instruction comprises: outputting to the computer instruction queue a next instruction of said sequence of instructions based on the checking indicating that the selected command is said special command; and outputting to the computer instruction queue an instruction associated with said selected command based on the checking indicating that the selected command is not said special command. 2. The method of claim 1 , wherein said selection data is representative, for each of said plurality of commands, of a weight associated with the respective command and wherein said selecting said one of said plurality of commands is further based on said weights. 3. The method of claim 1 , wherein said sequence of instructions includes mailbox commands. 4. The method of claim 1 , wherein said instruction associated with said command is not a mailbox instruction. 5. The method of claim 1 , wherein the repeatedly selecting and the outputting the computer instruction to the computer instruction queue produces a command stream, wherein based on (i) the selecting the one of said plurality of commands being based on said random number, and (ii) the outputting of the next instruction in the sequence of instructions to the computer instruction queue being based on the checking whether the selected command is the special command, instructions of the sequence of instructions appear in random positions in the command stream, and wherein, based on the sequence of instructions having the order in which instructions of the sequence of instructions are to appear, instructions of the sequence of instructions appear inside the command stream in that order. 6. The method of claim 1 , wherein the repeatedly selecting selects the selected command from the plurality of commands and wherein, for each selection of the repeatedly selecting, each command of the plurality of commands is available for selection. 7. A computer instruction generating system configured to perform: receiving a sequence of instructions, the sequence having an order in which instructions of the sequence of instructions are to appear relative to each other; receiving selection data representative of a plurality of commands including a special command; and repeatedly selecting, by a processing circuit, one of said plurality of commands, performing, for each iteration of the repeatedly selecting, a check whether the selected command of the plurality of commands is the special command, and outputting a computer instruction to a computer instruction queue based on the checking whether the selected command is the special command, wherein said selecting comprises obtaining a random number and selecting said one of said plurality of commands based on said random number, and wherein said outputting of the computer instruction comprises: outputting to the computer instruction queue a next instruction of said sequence of instructions based on the checking indicating that the selected command is said special command; and outputting to the computer instruction queue an instruction associated with said selected command based on the checking indicating that the selected command is not said special command. 8. The system of claim 7 , wherein said selection data is representative, for each of said plurality of commands, of a weight associated with the respective command and wherein said selecting said one of said plurality of commands is further based on said weights. 9. The system of claim 7 , wherein said sequence of instructions includes mailbox commands. 10. The system of claim 7 , wherein said instruction associated with said command is not a mailbox instruction. 11. A computer program product for generating computer instructions, the computer program product comprising: a non-transitory computer readable storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising: receiving a sequence of instructions, the sequence having an order in which instructions of the sequence of instructions are to appear relative to each other; receiving selection data representative of a plurality of commands including a special command; and repeatedly selecting one of said plurality of commands, performing, for each iteration of the repeatedly selecting, a check whether the selected command of the plurality of commands is the special command, and outputting a computer instruction to a computer instruction queue based on the checking whether the selected command is the special command, wherein said selecting comprises obtaining a random number and selecting said one of said plurality of commands based on said random number, and wherein said outputting of the computer instruction comprises: outputting to the computer instruction queue a next instruction of said sequence of instructions based on the checking indicating that the selected command is said special command; and outputting to the computer instruction queue an instruction associated with said selected command based on the checking indicating that the selected command is not said special command. 12. The computer program product of claim 11 , wherein said selection data is representative, for each of said plurality of commands, of a weight associated with the respective command and wherein said selecting said one of said plurality of commands is further based on said weights. 13. The computer program product of claim 11 , wherein said sequence of instructions includes mailbox commands. 14. The computer program product of claim 11 , wherein said instruction associated with said command is not a mailbox instruction.
for test design, e.g. generating new test cases · CPC title
Generation of test inputs, e.g. test vectors, patterns or sequences {; with adaptation of the tested hardware for testability with external testers} · CPC title
Physics · mapped topic
Environments for analysis, debugging or testing of software · CPC title
Related publications grouped by family.
Answers are generated from the same data shown on this page.