Error detection/correction and fault detection/recovery – Pulse or data error handling – Digital logic testing
Reexamination Certificate
2004-07-30
2008-11-18
Louis-Jacques, Jacques (Department: 2117)
Error detection/correction and fault detection/recovery
Pulse or data error handling
Digital logic testing
C703S014000
Reexamination Certificate
active
07454680
ABSTRACT:
A method, system and computer program product for generating a coverage model to describe a testing scheme for a simulated system are described. In a preferred embodiment, a simulated system is tested with a testing simulation program. A simple event database is generated with the testing simulation program. Results of a checker analysis from the testing with the testing simulation program are obtained, and coverage data is created from a coverage model configuration file, the simple event database and the results of the checker analysis.
REFERENCES:
patent: 6021261 (2000-02-01), Barrett, Jr. et al.
patent: 6212667 (2001-04-01), Geer et al.
Raghavan et al., CoveT: A Coverage Tracker for Collision Events in System Verification, IEEE International Performance, Computing and Communications Conference, Feb. 1998, pp. 172-177.
Baumgartner Jason Raymond
Detjens Claude Karl
Devadason Anita
Farago Steven Robert
Dillon & Yudell LLP
International Business Machines - Corporation
Louis-Jacques Jacques
Salys Casimer K.
Tabone, Jr. John J
LandOfFree
Method, system and computer program product for improving... 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, system and computer program product for improving..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, system and computer program product for improving... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4042881