Claims Analysis
Total Claims: 11
Claim 1
Independent Claim
157 words
A system for determining the operation of an integrated circuit IC, comprising: receiving means for receiving and storing information about said integrated circuit and for pre-storing a range of stimuli defined by a reference IC circuit simulator language to be applied to a model of said integrated circuit; selecting means for selecting at least one stimulus from said range; a first translator for translating said selected stimulus defined by the reference IC circuit simulator language into a translated stimulus defined by an alien IC circuit simulator language; an alien simulator for applying said translated stimulus to an alien model of said integrated circuit and obtaining a response to said translated stimulus; a second translator for translating said response defined by said alien IC circuit simulator language into a translated response defined by said reference IC circuit simulator language; and store means for storing said translated response, said stimulus and said response portraying operation of the integrated circuit.
Claim 2
Independent Claim
157 words
A system for determining the operation of an integrated circuit IC, comprising: receiving means for receiving and storing information about said integrated circuit and for pre-storing a range of stimuli defined by a reference IC circuit simulator language to be applied to a model of said integrated circuit; selecting means for selecting at least one stimulus from said range; a first translator for translating said selected stimulus defined by the reference IC circuit simulator language into a translated stimulus defined by an alien IC circuit simulator language; an alien simulator for applying said translated stimulus to an alien model of said integrated circuit and obtaining a response to said translated stimulus; a second translator for translating said response defined by said alien IC circuit simulator language into a translated response defined by said reference IC circuit simulator language; and store means for storing said translated response, said stimulus and said response portraying operation of the integrated circuit.
Claim 3
Dependent Claim
27 words
A system as claimed in claim 1, in which said selecting means selects a sub-range from said range of stimuli in dependence upon the said received information.
Claim 4
Dependent Claim
24 words
A system as claimed in claim 1, in which said receiving means includes an input translator for translating said information to said reference language.
Claim 5
Dependent Claim
25 words
A system as claimed in claim 1, further comprising an alien store for storing said alien model coupled to and accessed by said alien simulator.
Claim 6
Dependent Claim
16 words
A system as claimed in claim 1, in which said alien simulator comprises a hardware modeler.
Claim 7
Dependent Claim
22 words
A system as claimed in claim 1, further comprising condensing means for condensing the stimulus and response stored in said store means.
Claim 8
Dependent Claim
26 words
A system as claimed in claim 6, further comprising a timing store means coupled to the condensing means for storing timing details of the alien model.
Claim 9
Dependent Claim
269 words
A system as claimed in claim 6, in which the stimulus and response are stored as a plurality of entries in a truth table each entry being in terms of states associated with related input and output pins of the integrated circuit, the condensing means comprising: means for receiving said truth table; means for executing the following three steps in order, or for executing only one of the three steps or for executing the first two steps in order or for executing the last two steps in order, to form a condensed truth table, said steps comprising; 1) comparing two entries identical in all respects apart from the state of one input pin to ascertain whether the state of said input pin determines the output state of the respective entry and if not for deleting one of said entries and for repeating the comparison for all input pins, 2) identifying two or more entries where the output state is equal to the state of one of the related input pins, the said equal input pin being the corresponding input pin in each identified entry, deleting all but one of the identified entries and amending the remaining one of the identified entries by inserting a number identifing the said equal input pin for the state of the output, and 3) detecting which output state occurs most often, selecting those entries which have the detected output state, deleting all but one of the selected entries and amending the remaining selected entry by inserting a neutral state for each input pin of that entry; and means for outputting the condensed truth table.
Claim 10
Dependent Claim
18 words
A system as claimed in claim 8, further comprising a further store for storing said condensed truth table.
Claim 11
Dependent Claim
51 words
A system as claimed in claim 8, in which said condensing means further comprises means for determining whether said alien model is a sequential logic model and if so deleting all entries which result in no output changes and subsequently executing steps (2) and (3), as specified in claim 8, alone.