Claims Analysis
Total Claims: 9
Claim 1
Independent Claim
252 words
A method of simulating operation of a levelized logic circuit, said method comprising the steps of: storing in a computer memory data representing a specified logic circuit, said logic circuit having a number of nodes between which are connected circuit components, each of said nodes having a signal present thereat with the value of said signal indicating the state of said node; said stored logic circuit data including an assigned logic level for each circuit component; computing a storing in said computer memory a set of evaluation lists, each said evaluation list corresponding to a signal and denoting those components that are to be evaluated when said signal changes value; computing and storing in said computer memory an output signal list denoting output signals corresponding to each component of said logic circuit; computing and storing in said computer memory a list of external input signals to the logic circuit; whenever an external input signal changes value, storing an evaluation mark for each component in said external input signal's evaluation list; and for each component, in levelized order, for which an evaluation mark has been stored; evaluating the component; clearing the evaluation mark for the component; and for each signal in the output signal list corresponding to said evaluated component which has a nonempty evaluation list, (A) determining whether the value of the signal was changed by said evaluating step; and (B) if the value of the signal has changed, storing evaluation marks for all of the components in that signal's evaluation list.
Claim 2
Independent Claim
252 words
A method of simulating operation of a levelized logic circuit, said method comprising the steps of: storing in a computer memory data representing a specified logic circuit, said logic circuit having a number of nodes between which are connected circuit components, each of said nodes having a signal present thereat with the value of said signal indicating the state of said node; said stored logic circuit data including an assigned logic level for each circuit component; computing a storing in said computer memory a set of evaluation lists, each said evaluation list corresponding to a signal and denoting those components that are to be evaluated when said signal changes value; computing and storing in said computer memory an output signal list denoting output signals corresponding to each component of said logic circuit; computing and storing in said computer memory a list of external input signals to the logic circuit; whenever an external input signal changes value, storing an evaluation mark for each component in said external input signal's evaluation list; and for each component, in levelized order, for which an evaluation mark has been stored; evaluating the component; clearing the evaluation mark for the component; and for each signal in the output signal list corresponding to said evaluated component which has a nonempty evaluation list, (A) determining whether the value of the signal was changed by said evaluating step; and (B) if the value of the signal has changed, storing evaluation marks for all of the components in that signal's evaluation list.
Claim 3
Dependent Claim
27 words
The method of claim 1 including the step of clearing all of the evaluation marks for all of the components at the beginning of each circuit evaluation.
Claim 4
Dependent Claim
27 words
THe method of claim 1 including the step of clearing all of the evaluation marks for all of the components at the end of each circuit simulation.
Claim 5
Dependent Claim
29 words
The method of claim 1 including the step of evaluating components associated with input signals that change frequently without determining whether the value of said input signals have changed.
Claim 6
Independent Claim
297 words
A method of automatically generating program instructions for a compiled computer program, which is used for simulating a levelized logic circuit, said method of automatically generating program instructions comprising the steps of: (5-1) generating program instructions for: (A) storing in a computer memory data representing a specified logic circuit, said logic circuit having a number of nodes between which are connected circuit components, each of said nodes having a signal present thereat with the value of said signal indicating the state of said node; said stored logic circuit data including an assigned logic level for each circuit component; (B) computing and storing in said computer memory a set of evaluation lists, each said evaluation list corresponding to a signal and denoting those components that are to be evaluated when said signal changed value; (C) computing and storing in said computer memory an output signal is denoting output signals corresponding to each component of said logic circuit; (D) computing and storing in said computer memory a list of external input signals to the logic circuit; (E) whenever an external input signal changes value, storing an evaluation mark for each component in said external input signal's evaluation list; and (F) for each component, in levelized order, for which an evaluation mark has been stored: evaluating the component; clearing the evaluation mark for the component; and for each signal in the output signal list corresponding to said evaluated component which has a non-empty evaluation list, (A) determining whether the value of the signal was changed by said evaluating step; and (B) if the value of the signal has changed, storing evaluation marks for all of the components in that signal's evaluation list; and (5-2) compiling said generated program instructions into a compiled computer program for simulating said specified logic circuit.
Claim 7
Independent Claim
297 words
A method of automatically generating program instructions for a compiled computer program, which is used for simulating a levelized logic circuit, said method of automatically generating program instructions comprising the steps of: (5-1) generating program instructions for: (A) storing in a computer memory data representing a specified logic circuit, said logic circuit having a number of nodes between which are connected circuit components, each of said nodes having a signal present thereat with the value of said signal indicating the state of said node; said stored logic circuit data including an assigned logic level for each circuit component; (B) computing and storing in said computer memory a set of evaluation lists, each said evaluation list corresponding to a signal and denoting those components that are to be evaluated when said signal changed value; (C) computing and storing in said computer memory an output signal is denoting output signals corresponding to each component of said logic circuit; (D) computing and storing in said computer memory a list of external input signals to the logic circuit; (E) whenever an external input signal changes value, storing an evaluation mark for each component in said external input signal's evaluation list; and (F) for each component, in levelized order, for which an evaluation mark has been stored: evaluating the component; clearing the evaluation mark for the component; and for each signal in the output signal list corresponding to said evaluated component which has a non-empty evaluation list, (A) determining whether the value of the signal was changed by said evaluating step; and (B) if the value of the signal has changed, storing evaluation marks for all of the components in that signal's evaluation list; and (5-2) compiling said generated program instructions into a compiled computer program for simulating said specified logic circuit.
Claim 8
Dependent Claim
25 words
The method of claim 5, including the step of generating program instructions for clearing all said evaluation marks at the beginning of each circuit evaluation.
Claim 9
Dependent Claim
34 words
The method of claim 5, including the step of generating program instructions for automatically evaluating components associated with input signals that change frequently without determining whether the value of said input signals have changed.