Claims Analysis
Total Claims: 12
Claim 1
Independent Claim
38 words
A simulation system for simultating the operation of a gate, including memory means having stored therein a gate primitive comprising three elements each containing data respectively concerning the functionality, input/output propogation delays and timing checks of the gate.
Claim 2
Dependent Claim
38 words
A simulation system for simultating the operation of a gate, including memory means having stored therein a gate primitive comprising three elements each containing data respectively concerning the functionality, input/output propogation delays and timing checks of the gate.
Claim 3
Dependent Claim
25 words
A simulation system as claimed in claim 1, wherein the elements containing data concerning the functionality of the gate has a decision tree data structure.
Claim 4
Dependent Claim
63 words
A simulation system as claimed in any preceding claim, wherein the data concerning the functionality of the gate contains data which identifies the sequence of inputs to the gate with respect to one another or wherein the data concerning the functionality of the gate contains data which identifies sequence of inputs to the gate with respect to clock pulses applied to the gate.
Claim 5
Dependent Claim
40 words
A simulation system as claimed in any preceding claim, wherein the gate has at least two inputs and an output and the functionality element of the primitive contains data which provides an output value when one input value is unknown.
Claim 6
Dependent Claim
33 words
A simulation system as claimed in any preceding claim, wherein the functionality element of the primitive contains data which identifies a processing function to be undertaken when a specific sequence of events occur.
Claim 7
Dependent Claim
44 words
A simulation system as claimed in claim 1, wherein the data stored in at least one of: the functionality element, the propogation delay element and the timing check element of the primitive is stored in accordance with different states of operation of the gate.
Claim 8
Independent Claim
35 words
A method of simulating the operation of a gate, oomprising the formation of a gate primitive having three elements each containing data respectively concerning the functionality, input/output propogation delays and timing checks of the gate.
Claim 9
Independent Claim
35 words
A method of simulating the operation of a gate, oomprising the formation of a gate primitive having three elements each containing data respectively concerning the functionality, input/output propogation delays and timing checks of the gate.
Claim 10
Dependent Claim
31 words
A method as claimed in claim 7, wherein formation of the functionality element of the primitive includes the conversion from a truth table data structure to a decision tree data structure.
Claim 11
Dependent Claim
21 words
A method as claimed in claim 8, wherein the said conversion is undertaken by sequentially processing the rows of the table.
Claim 12
Independent Claim
39 words
A method as claimed in any of claims 7 to 9, further comprising the step of generating and storing data providing an output value when one of a plurality of input values is unknown by applying the "same" function.