Method for verifying protocol conformance of an electrical interface

Claim 3

A method as in claim 1, further comprising the step of: determining a first agent required by the test to be performed; and extracting initialization information for the first agent from the test to be performed.

Claim 4

A method as in claim 1, further comprising the steps of: determining a first agent and a second agent required by the test to be performed; storing a first plurality of protocol constraints corresponding to the first agent within a first protocol template; storing a second plurality of protocol constraints corresponding to the second agent within a second protocol template; and deriving the prediction file from the test to be performed and the first and second protocol templates, the prediction file including the first and second plurality of protocol constraints.

Claim 5

A method as in claim 3, wherein the first plurality of protocol constraints and the second plurality of protocol constraints are identical.

Claim 6

A method as in claim 3, wherein the step of deriving the prediction file from the test to be performed and the first and second protocol templates further comprises the step of: ordering evaluation of the first and second protocol templates.

Claim 7

A method as in claim 5, wherein the step of ordering further comprises the step of: determining the ordering to be used based upon the test to be performed.

Claim 8

A method as in claim 1, wherein the plurality of protocol constraints is a subset of all protocol constraints required by the protocol.

Claim 9

A method as in claim 1, further comprising the step of: in response to said step of comparing, detecting that the transition of the at least one of the plurality of signals is spurious.

Claim 10

A method as in claim 1, wherein each one of the plurality of nodes has a second attribute characterization of AND/OR.

Claim 11

A method as in claim 9, further comprising the step of: specifying an evaluation order of successors for each one of the plurality of nodes that has an OR attribute characterization.

Claim 12

A method as in claim 9, wherein each one of the plurality of nodes has a third attribute characterization of SAMPLE ONLY/DRIVE.

Claim 13

A method as in claim 1, further comprising the steps of: evaluating a first node from the plurality of nodes, the first node having an evaluated condition; providing phase constraints corresponding to the evaluated condition.

Claim 14

A method as in claim 1, further comprising the step of: providing executable code corresponding to a first one of the plurality of nodes; and executing the executable code when a condition of the first one of the plurality of nodes evaluates to be true.

Claim 15

A method as in claim 13, wherein execution of the executable code provides status information regarding the electrical interface.

Claim 16

A method as in claim 14, wherein the status information indicates when a bus transaction starts.

Claim 17

A method as in claim 1, wherein the electrical interface is a bus on an integrated circuit.

Claim 18

A method as in claim 1, further comprising the step of: extracting all state information for a selected point in time.

Claim 19

A method as in claim 17, wherein the selected point in time is a selected phase of a clock signal.

Claim 20

A method as in claim 1, wherein the step of comparing further comprises determining test coverage for protocol conformity.

Claim 21

A method of manufacturing integrated circuits utilizing the method in claim 1 which further comprises: generating a transistor placement file from the computer model of the electrical circuit; creating a set of one or more lithographic masks from the transistor placement file; and fabricating a plurality of integrated circuits from the set of one or more lithographic masks.

Claim 22

A method as in claim 1, wherein the timing range is specified by a maximum value and a minimum value, and wherein the maximum value is infinite.

Claim 23

Computer readable medium containing computer software encoded in a machine readable format for verifying conformance of a protocol for an electrical interface, the electrical interface having a plurality of signals, said computer software comprising: a set of computer instructions for providing a computer model of an electrical circuit having the electrical; a set of computer instructions for applying electrical stimulus to the computer model of the electrical circuit; a set of computer instructions for providing a monitor to monitor the plurality of signals; a set of computer instructions for detecting a transition of at least one of the plurality of signals; a set of computer instructions for storing state and timing information of the at least one of the plurality of signals; a set of computer instructions for storing a plurality of protocol constraints within a protocol template, wherein the plurality of protocol constraints are represented within a directed graph having a plurality of nodes, wherein each one of the plurality of nodes has a first attribute characterization of OPTIONAL/REQUIRED, and wherein at least one of the plurality of protocol constraints specifies a timing range; a set of computer instructions for deriving a prediction file from a test to be performed and the protocol template, the prediction file including the plurality of protocol constraints; a set of computer instructions for comparing the state and timing information of the at least one of the plurality of signals to the plurality of protocol constraints; and a set of computer instructions for determining if the computer model of the electrical circuit conforms to the protocol for the electrical interface.

Claim 24

Computer readable medium containing computer software encoded in a machine readable format for verifying conformance of a protocol for an electrical interface, the electrical interface having a plurality of signals, said computer software comprising: a set of computer instructions for providing a computer model of an electrical circuit having the electrical; a set of computer instructions for applying electrical stimulus to the computer model of the electrical circuit; a set of computer instructions for providing a monitor to monitor the plurality of signals; a set of computer instructions for detecting a transition of at least one of the plurality of signals; a set of computer instructions for storing state and timing information of the at least one of the plurality of signals; a set of computer instructions for storing a plurality of protocol constraints within a protocol template, wherein the plurality of protocol constraints are represented within a directed graph having a plurality of nodes, wherein each one of the plurality of nodes has a first attribute characterization of OPTIONAL/REQUIRED, and wherein at least one of the plurality of protocol constraints specifies a timing range; a set of computer instructions for deriving a prediction file from a test to be performed and the protocol template, the prediction file including the plurality of protocol constraints; a set of computer instructions for comparing the state and timing information of the at least one of the plurality of signals to the plurality of protocol constraints; and a set of computer instructions for determining if the computer model of the electrical circuit conforms to the protocol for the electrical interface.

Claim 25

A method of manufacturing the computer readable medium in claim 22 which comprises: encoding the computer software in machine readable format on the computer readable medium.