Use of statistical representations of traffic flow in a data processing system
First Claim
1. An apparatus for performing verification tests for a design of a data processing system, the apparatus comprising:
- a system under verification representing at least part of the design of the data processing system;
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.
1 Assignment
0 Petitions
Accused Products
Abstract
An apparatus and method are provided for performing verification tests for a design of a data processing system. The apparatus comprises a system under verification representing at least part of the design of the data processing system, and a transactor for connecting to an interface of the system under verification, and for generating signals for input to the system under verification via the interface during performance of the verification tests. Profile storage stores a profile providing a statistical representation of desired traffic flow at the interface, the statistical representation providing statistical information for a plurality of traffic attributes and also identifying at least one dependency between such traffic attributes. The transactor then references the profile in order to determine the signals to be generated, such that the signals generated take account of the specified dependencies identified in the profile. Such a mechanism enables the transactor to more realistically replicate the traffic flow that will be observed in the real system. Another aspect to the present invention provides a mechanism for generating such profiles.
-
Citations
21 Claims
-
1. An apparatus for performing verification tests for a design of a data processing system, the apparatus comprising:
-
a system under verification representing at least part of the design of the data processing system; 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. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. An apparatus for generating a profile providing a statistical representation of traffic flow within a data processing system, the apparatus comprising:
-
a system under verification representing at least part of the design of the data processing system; 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. - View Dependent Claims (9, 10, 11, 12, 13, 14, 15, 16, 17)
-
-
18. A method of performing verification tests for a design of a data processing system, the method comprising the steps of:
-
providing a system under verification representing at least part of the design of the data processing system; 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. - View Dependent Claims (19)
-
-
20. A method of generating a profile providing a statistical representation of traffic flow within a data processing system, the method comprising the steps of:
-
providing a system under verification representing at least part of the design of the data processing system; 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. - View Dependent Claims (21)
-
Specification