Use of statistical representations of traffic flow in a data processing system

An apparatus for performing verification tests on a system under verification representing at least part of the design of a data processing system, the apparatus implemented on a general purpose computer, said apparatus comprising:

• a transactor for connecting to an interface of the system under verification, and for generating signals for input to the system under verification via said interface during performance of said verification tests;
• profile storage for storing a profile providing a statistical representation of desired traffic flow at said interface, the statistical representation providing statistical information for a plurality of traffic attributes and identifying at least one dependency between traffic attributes in said plurality;
• and
• the transactor referencing said profile in order to determine the signals to be generated, such that the signals generated take account of said at least one dependency identified in the profile, wherein said traffic flow is produced in accordance with a transaction protocol and said plurality of traffic attributes comprise at least one transaction protocol attribute.

An apparatus for performing verification tests on a system under verification representing at least part of the design of a data processing system, the apparatus implemented on a general purpose computer, said apparatus comprising:

• a transactor for connecting to an interface of the system under verification, and for generating signals for input to the system under verification via said interface during performance of said verification tests;
• profile storage for storing a profile providing a statistical representation of desired traffic flow at said interface, the statistical representation providing statistical information for a plurality of traffic attributes and identifying at least one dependency between traffic attributes in said plurality;
• and
• the transactor referencing said profile in order to determine the signals to be generated, such that the signals generated take account of said at least one dependency identified in the profile, wherein said traffic flow is produced in accordance with a transaction protocol and said plurality of traffic attributes comprise at least one timing attribute identifying timing between particular traffic signals produced in accordance with said transaction protocol.

An apparatus for generating a profile providing a statistical representation of traffic flow within a data processing system, said apparatus using a system under verification representing at least part of the design of the data processing system, the apparatus implemented on a general purpose computer, said apparatus comprising:

• a monitor for connecting to an interface of the system under verification, and for observing the traffic flow at that interface;
• the monitor being responsive to a control input specifying a plurality of traffic attributes and at least one dependency between traffic attributes in said plurality, to produce said profile based on the observed traffic flow, the statistical representation of said profile providing statistical information for said plurality of traffic attributes and identifying said at least one dependency between traffic attributes in said plurality;
• and
• comparison logic for comparing the profile produced by the monitor with an additional profile generated for an alternative representation of the data processing system, the additional profile also providing statistical information for said plurality of traffic attributes and identifying said at least one dependency between traffic attributes in said plurality.

An apparatus for generating a profile providing a statistical representation of traffic flow within a data processing system, said apparatus using a system under verification representing at least part of the design of the data processing system, the apparatus implemented on a general purpose computer, said apparatus comprising:

• a monitor for connecting to an interface of the system under verification, and for observing the traffic flow at that interface;
• the monitor being responsive to a control input specifying a plurality of traffic attributes and at least one dependency between traffic attributes in said plurality, to produce said profile based on the observed traffic flow, the statistical representation of said profile providing statistical information for said plurality of traffic attributes and identifying said at least one dependency between traffic attributes in said plurality;
• an alternative system under verification representing at least part of the design of the data processing system, the alternative system under verification being a different implementation of the data processing system to the system under verification;
• the monitor connecting to an equivalent interface within said alternative system under verification, and observing the traffic flow at that equivalent interface in order to produce an additional profile;
• and
• comparison logic for comparing the profile and said additional profile in order to determine differences between operation of the system under verification and the alternative system under verification.

An apparatus for generating a profile providing a statistical representation of traffic flow within a data processing system, said apparatus using a system under verification representing at least part of the design of the data processing system, the apparatus implemented on a general purpose computer, said apparatus comprising:

• a monitor for connecting to an interface of the system under verification, and for observing the traffic flow at that interface;
• the monitor being responsive to a control input specifying a plurality of traffic attributes and at least one dependency between traffic attributes in said plurality, to produce said profile based on the observed traffic flow, the statistical representation of said profile providing statistical information for said plurality of traffic attributes and identifying said at least one dependency between traffic attributes in said plurality;
• and
• error detection circuitry for coupling to an interface in an additional system under verification representing at least part of the design of the data processing system in order to observe the traffic flow at that interface, the error detection circuitry having access to the profile produced by the monitor and generating an error signal when the traffic flow observed is unexpected having regard to the profile.

A method of performing verification tests for a system under verification representing at least part of the design of a data processing system, the method comprising the steps of:

• connecting a transactor to an interface of the system under verification;
• during performance of said verification tests, inputting to the system under verification, via said interface, signals generated by the transactor;
• storing within profile storage a profile providing a statistical representation of desired traffic flow at said interface, the statistical representation providing statistical information for a plurality of traffic attributes and identifying at least one dependency between traffic attributes in said plurality;
• and
• causing the transactor to reference said profile in order to determine the signals to be generated for input to the system under verification, such that the signals generated take account of said at least one dependency identified in the profile, wherein said traffic flow is produced in accordance with a transaction protocol and said plurality of traffic attributes comprise at least one transaction protocol attribute, wherein said method steps are implemented on a general purpose computer.

A method of generating a profile providing a statistical representation of traffic flow within a data processing system, said method using a system under verification representing at least part of the design of a data processing system, the method comprising the steps of:

• connecting a monitor to an interface of the system under verification;
• observing, via the monitor, the traffic flow at that interface;
• and
• responsive to a control input specifying a plurality of traffic attributes and at least one dependency between traffic attributes in said plurality, causing the monitor to produce said profile based on the observed traffic flow, the statistical representation of said profile providing statistical information for said plurality of traffic attributes and identifying said at least one dependency between traffic attributes in said plurality, wherein said traffic flow is produced in accordance with a transaction protocol and said plurality of traffic attributes comprise at least one transaction protocol attribute, wherein said method steps are implemented on a general purpose computer.