Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-07-03
2007-07-03
Beausoliel, Robert W (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S032000, C714S037000, C714S041000, C714S741000, C717S143000
Reexamination Certificate
active
10113319
ABSTRACT:
The invention relates to a system and method for facilitating programmable coverage domains for test case generation, feedback, and measurement. The system comprises a domain definition input file; user-defined coverage domain data entered into the domain definition input file; and a parser operable for translating the user-defined coverage domain data into machine-readable computer program code. The system further includes an internal coverage domain comprising: a union of enabled coverage domains extracted from the user-defined coverage domain data; a session component comprising a session update count for each domain element; and a history component comprising a history update count for each domain element. The system further comprises a testcase generator including an internal coverage feedback and measurement system. The testcase generator comprises an instruction generator operable for generating instructions for use in a testcase and an instruction simulator operable for simulating execution of the instructions. The testcase generator accesses information in the internal coverage domain via the internal coverage feedback and measurement system, generates testcases for a current generation session, and updates the internal coverage domain according to the results of the testcase execution. The invention also comprises a method and storage medium.
REFERENCES:
patent: 5050168 (1991-09-01), Paterson
patent: 5265254 (1993-11-01), Blasciak et al.
patent: 5604895 (1997-02-01), Raimi
patent: 5651111 (1997-07-01), McKeeman et al.
patent: 5758061 (1998-05-01), Plum
patent: 5913023 (1999-06-01), Szermer
patent: 5974248 (1999-10-01), Graef
patent: 6041330 (2000-03-01), Carman et al.
patent: 6092147 (2000-07-01), Levy et al.
patent: 6148427 (2000-11-01), Sherwood et al.
patent: 6219802 (2001-04-01), Beeker et al.
patent: 6249886 (2001-06-01), Kalkunte
patent: 6647513 (2003-11-01), Hekmatpour
patent: 2058136 (1990-02-01), None
patent: 03271949 (1991-12-01), None
patent: 6161825 (1994-06-01), None
A.K. Chandra, V.S. Iyengar, R.V. Jawalekar, M.P. Mullen, I.Nair, and B.K. Rosen, “Architectural Verification of Processors Using Symbolic Instruction Graphs,” 1994, pp. 454-459.
A. Chandra, V. Iyengar, D. Jameson, R. Jawalekar, I. Nair, B. Rosen, M. Mullen, J. Yoon, R. Armoni, D. Geist and Y. Wolfsthal AVPGEN—A Test Generator for Architecture Verification, IEEE Transactions on Very Large Scale Integration Systems, vol. 3. No. 2, Jun. 1995 pp. 188-200.
C. Young, N. Gloy, M.D. Smith “A Comparative Analysis of Schemes for Correlated Branch Prediction,” Proceedings of the 22nd Annual International Symposium on Computer Architecture, Jun. 1995, pp. 1-11.
R. Zhang, W. King, M. Guo, “A Hybrid Branch Prediction Scheme: An Integration of Software and Hardware Techniques”, Proceedings of MASPLAS '01, Apr. 27, 2001, pp. 2.1-2.8.
Z. Su and M. Zhou, A Comparative Analysis of Branch Prediction Schemes Feb. 4, 2002 pp. 1-22.
Beausoliel Robert W
Cantor & Colburn LLP
Ehne Charles
International Business Machines - Corporation
LandOfFree
System and method for facilitating programmable coverage... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for facilitating programmable coverage..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for facilitating programmable coverage... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3726634