Claims Analysis
Total Claims: 16
Claim 1
Independent Claim
123 words
A method for simulating a logic circuit using an RTL model, comprising the steps of: using an object-oriented programming language to create a class of objects each representing a logic circuit, each object of said class having representations for input signals, output signals, state elements and internal signals; for each of said objects, providing a function for initialization, a function for loading a new state, and a function for generating a next state; representing said logic circuit by creating a plurality of instantiations of said objects; initializing said instantiations by executing, for each of said instantiations said function for initialization; and for each of said instantiations, alternately executing said function for loading a new state, and said function for generating a next state.
Claim 2
Independent Claim
123 words
A method for simulating a logic circuit using an RTL model, comprising the steps of: using an object-oriented programming language to create a class of objects each representing a logic circuit, each object of said class having representations for input signals, output signals, state elements and internal signals; for each of said objects, providing a function for initialization, a function for loading a new state, and a function for generating a next state; representing said logic circuit by creating a plurality of instantiations of said objects; initializing said instantiations by executing, for each of said instantiations said function for initialization; and for each of said instantiations, alternately executing said function for loading a new state, and said function for generating a next state.
Claim 3
Dependent Claim
16 words
A method as in claim 1, wherein said object-oriented programming language is the C++ programming language.
Claim 4
Dependent Claim
51 words
A method as in claim 1, wherein said step of representing said logic circuit comprises the steps of: creating a source program using said class of objects; transforming said source program into executable program capable of being executed in a computer system; and running said executable program in said computer system.
Claim 5
Dependent Claim
34 words
A method as in claim 1, wherein said representations for input signals, output signals, state elements and internal signals comprises objects derived from a second class of objects created in said object-oriented programming language.
Claim 6
Dependent Claim
26 words
A method as in claim 4, wherein said second class of objects includes a data type, said data type provided for representing one or more signals.
Claim 7
Dependent Claim
32 words
A method as in claim 5, further including the step of providing, for each object in said second class of objects, a function for extracting a value of each of said signals.
Claim 8
Dependent Claim
33 words
A method as in claim 5, further including the step of providing, for each object in said second class of objects, a function for extracting values of a selected group of said signals.
Claim 9
Dependent Claim
32 words
A method as in claim 5, further including the step of providing, for each object in said second class of objects, operators for assigning, comparing, and summing objects in said second class.
Claim 10
Dependent Claim
22 words
A method as in claim 1, said function for loading a new state comprises the step of assigning values to state elements.
Claim 11
Dependent Claim
28 words
A method as in claim 1, said function for generating a next state comprises the step of assigning values to input signals, output signals, and internal signals values.
Claim 12
Dependent Claim
24 words
A method as in claim 1, wherein said step of representing said logic circuit provides said instantiations of said object in a linked list.
Claim 13
Dependent Claim
31 words
A method as in claim 1, wherein said function of generating a next state is executed multiple times for each new state loaded by said function for loading a new state.
Claim 14
Independent Claim
144 words
A method for simulating a logic circuit, comprising the steps of: representing said logic circuit by a collection of register transfer level (RTL) models, each RTL model being provided a function for initializing said RTL model, a function for loading a new state into said RTL model and a function for generating a next state for said RTL model; initializing, in a predetermined order, each of said RTL models, each RTL model being initialized using said function for initializing for said RTL model; applying, in said predetermined order, said function for generating a next state to each of said RTL models; and repeatedly applying the steps of: applying, in said predetermined order, said function for loading a new state to each of said RTL models; and applying, in said predetermined order, said function for generating a next state to each of said RTL models.
Claim 15
Independent Claim
144 words
A method for simulating a logic circuit, comprising the steps of: representing said logic circuit by a collection of register transfer level (RTL) models, each RTL model being provided a function for initializing said RTL model, a function for loading a new state into said RTL model and a function for generating a next state for said RTL model; initializing, in a predetermined order, each of said RTL models, each RTL model being initialized using said function for initializing for said RTL model; applying, in said predetermined order, said function for generating a next state to each of said RTL models; and repeatedly applying the steps of: applying, in said predetermined order, said function for loading a new state to each of said RTL models; and applying, in said predetermined order, said function for generating a next state to each of said RTL models.
Claim 16
Dependent Claim
43 words
A method as in claim 13, wherein said step of applying said function for generating a next state applies said function for generating a next state repeatedly, in said predetermined order, in order to achieve convergence of signal values among said RTL models.