Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
165 words
A method of providing a test set for testing computer model comprising the steps of: providing a logical model of an integrated circuit, having a plurality of data ports; providing at least two simulators, a first simulator coupled to a first one of said plurality of data ports of said integrated circuit model, and second simulator coupled to a second different one of said plurality of data ports of said integrated circuit model; providing an instruction stream to said first and second simulators, said instruction stream comprising at least two instruction threads corresponding to said at least two simulators, said simulators providing signals to said data ports in accordance with instructions provided from each of said instruction threads, wherein each of said instruction threads includes command instructions for providing command data to said corresponding data port; and delaying said first simulator from processing its corresponding instruction thread when a dependency is present between said at least two instruction threads until said dependency has been satisfied.
Claim 2
Independent Claim
165 words
A method of providing a test set for testing computer model comprising the steps of: providing a logical model of an integrated circuit, having a plurality of data ports; providing at least two simulators, a first simulator coupled to a first one of said plurality of data ports of said integrated circuit model, and second simulator coupled to a second different one of said plurality of data ports of said integrated circuit model; providing an instruction stream to said first and second simulators, said instruction stream comprising at least two instruction threads corresponding to said at least two simulators, said simulators providing signals to said data ports in accordance with instructions provided from each of said instruction threads, wherein each of said instruction threads includes command instructions for providing command data to said corresponding data port; and delaying said first simulator from processing its corresponding instruction thread when a dependency is present between said at least two instruction threads until said dependency has been satisfied.
Claim 3
Dependent Claim
35 words
The method of claim 1, wherein each of said instruction threads includes responder instructions for providing data to one of said plurality of ports of said structural model in response to signals from said port.
Claim 4
Dependent Claim
46 words
The method of claim 1, wherein said step of delaying is responsive to a synchronizing instruction in said instruction stream which precludes said first simulator from processing said corresponding instruction thread until a selected instruction in said second instruction thread is processed by said second simulator.
Claim 5
Dependent Claim
34 words
The method of claim 3, wherein said synchronizing instruction includes a bit mask having at least two bits wherein each bit of said bit mask corresponds to one of said at least two simulators.
Claim 6
Dependent Claim
51 words
The method of claim 4, wherein at least one of said simulators is precluded from processing a commander instruction from said corresponding instruction thread responsive to a set condition of said corresponding bit of said bit mask and a set condition of at least one other bit in said bit mask.
Claim 7
Dependent Claim
43 words
The method of claim 4, wherein said simulator precluded from processing said corresponding instruction thread is allowed to process said corresponding instruction thread when said simulator corresponding to said one other set bit in said bit mask completes processing of said synchronization instruction.
Claim 8
Independent Claim
91 words
A method of providing a test set for testing a computer model having a plurality of simulators, said method comprising the steps of: selecting a base instruction set, said base instruction set including a plurality of instructions for each of said plurality of simulators; randomly selecting an instruction from said base instruction set to provide said test set; identifying instructions of said test set which require predetermined conditions to be completed before execution; and modifying said identified instruction to preclude execution of said identified instruction until said predetermined condition is satisfied.
Claim 9
Independent Claim
91 words
A method of providing a test set for testing a computer model having a plurality of simulators, said method comprising the steps of: selecting a base instruction set, said base instruction set including a plurality of instructions for each of said plurality of simulators; randomly selecting an instruction from said base instruction set to provide said test set; identifying instructions of said test set which require predetermined conditions to be completed before execution; and modifying said identified instruction to preclude execution of said identified instruction until said predetermined condition is satisfied.
Claim 10
Dependent Claim
75 words
The method of claim 7, wherein said step of modifying said identified instruction further comprises the steps of: inserting a synchronization instruction before said identified instruction, said synchronization instruction having a bit mask with each bit of said bit mask corresponding to one of said plurality of simulators, and with each set bit of said bit mask indicating that said corresponding simulator should be synchronized to said identified instruction before said identified instruction is executed.