Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2000-08-14
2004-12-07
Beausoliel, Robert (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S043000, C714S038110
Reexamination Certificate
active
06829731
ABSTRACT:
BACKGROUND OF THE INVENTION
The present invention relates generally to the testing of logic designs, and more particularly to a method and system for generating a test case specific to a particular design-under-test (DUT) from a generalized or comprehensive set of bus transactions characterizing a bus architecture.
A process known as verification comprises applying test cases to a DUT and checking the results against expected results to determine whether the DUT functions correctly. Functional verification of logic designs which interface to standardized buses typically involves the use of a software tool known as a bus functional model (BFM). A BFM emulates a bus protocol to apply a test case in simulation to a DUT modeled by a hardware description language (HDL).
The BFMs allow verification engineers to write test cases as bus transactions. The bus transactions may be expressed in bus functional language (BFL) statements which are decoded and executed by the BFMs using a logic simulator. For example, a standardized BFM transaction test case for a 32 bit data slave design that uses read and write transactions with address, data, and control signal information could comprise BFL statements appearing as follows (comments indicated by “//”):
read(address=F0,be=1111,data=00000034)
//4 byte read transaction
from addr F0;
// byte enable (be) indicates
// that bytes 0-3 are enabled;
// expected data value is
00000034;
write(address=F0,be=1000,
// 1 byte write transaction
data=12000000)
to addr. F0;
// byte enable indicates that
byte 0
// is enabled, and bytes 1-3
// are not enabled;
// 1 byte write data is 12;
read(address=F0,be=1111,data=12000034)
// 4 byte read transaction from
// address F0;
// byte enable indicates that
bytes 0-3
// are enabled;
// expected data value is
12000034;
In the foregoing example, read and write are two different transaction types, while address, byte enable, and data are parameters of the respective transaction types. The parameters were used to specify data to be written to an address, and to subsequently read the address to determine whether the data was correctly written.
In order to verify that a DUT completely complies with a standardized bus interface, all possible bus transactions must be performed to ensure that the DUT-to-bus interface operates under all legal bus conditions. This process, also known as regression testing, entails the enumeration of all possible and legal transaction combinations to ensure a complete and correct design.
Typically, test cases for applying all the possible and legal transactions for a DUT-to-bus interface must be specified manually, as BFL statements as shown in the above example. To code the BFL statements, a verification engineer must usually consult a bus architecture specification manual. As the complexity of logic designs increases, the number of transactions which must be applied to a design to fully test it for bus compliance becomes unmanageable by a manual procedure. The procedure becomes unduly time-consuming, and the likelihood that coding errors occur or that needed test cases are omitted increases.
In view of the foregoing, a method and system for efficiently generating test cases is called for.
SUMMARY OF THE INVENTION
In the method and system according to the present invention, a set of transactions characterizing a bus architecture is provided. A subset of the set corresponding to a specific DUT is selected, and a configuration file for verifying the DUT is generated from the selected subset. The configuration file includes rules specific to the DUT, and may be processed by a generator program to generate or enumerate bus transactions, as determined by the rules, for a test case to be applied to the DUT.
In an embodiment, a graphical user interface may be used to create the configuration file. The user interface presents a user with the possible bus transactions of a bus architecture, and allows the user to enter inputs corresponding to a particular DUT. The interface processes the inputs to generate a configuration file syntax used by the generator program. The interface automatically inserts parameter combination specifications and rules into the configuration file for the user.
The advantages offered by the foregoing include greater ease and speed of designing test cases for verification of designs, and avoiding the errors inherent in a manual procedure. A designer of a test case does not need to consult a bus architectural specification, since the set of transactions characterizing the bus is presented in the user interface. A test case may be designed by simply entering a series of inputs relating to a specific DUT via the interface, which then automatically produces the configuration file.
REFERENCES:
patent: 5218605 (1993-06-01), Low et al.
patent: 5414836 (1995-05-01), Baer et al.
patent: 5850512 (1998-12-01), Song
patent: 5861882 (1999-01-01), Sprenger et al.
patent: 5872797 (1999-02-01), Theodoseau
patent: 5999180 (1999-12-01), Coskrey, IV
patent: 6002868 (1999-12-01), Jenkins et al.
patent: 6154801 (2000-11-01), Lowe et al.
patent: 6243835 (2001-06-01), Enokido et al.
patent: 6269467 (2001-07-01), Chang et al.
patent: 6457152 (2002-09-01), Paley et al.
patent: 6463552 (2002-10-01), Jibbe
patent: 6480801 (2002-11-01), Chew
patent: 6502212 (2002-12-01), Coyle et al.
patent: 6530043 (2003-03-01), Beardsley et al.
LaFauci Peter Dean
Mitchell Rhonda Gurganious
Summers Jeffrey Richard
Beausoliel Robert
Cockburn Joscelyn G.
Curry William E.
Wilson Yolanda L
LandOfFree
Method and system for generating a design-specific test case... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for generating a design-specific test case..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for generating a design-specific test case... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3337565