Error detection/correction and fault detection/recovery – Data processing system error or fault handling – Reliability and availability
Reexamination Certificate
2007-10-02
2007-10-02
Duncan, Marc (Department: 2113)
Error detection/correction and fault detection/recovery
Data processing system error or fault handling
Reliability and availability
C714S033000, C716S030000
Reexamination Certificate
active
10864628
ABSTRACT:
Methods, systems and media for management of functional verification of a system are disclosed. One embodiment may be directed to methods, systems and media for management of functional verification of a computer system, such as a processor or IC chip. Embodiments may include a verification manager for user input and a functional verification database for centralized storage of functional verification information. Embodiment may also include a coverage analysis environment that receives test information from a simulation and test generation environment, converts it if necessary, and selectively stores information in the functional verification database. In a further embodiment, a harvest module determines whether a test should be saved for future regression testing, and tests that add to functional coverage are added to a regression suite.
REFERENCES:
patent: 5022028 (1991-06-01), Edmonds et al.
patent: 5271000 (1993-12-01), Engbersen et al.
patent: 5544310 (1996-08-01), Forman et al.
patent: 5673387 (1997-09-01), Chen et al.
patent: 5694540 (1997-12-01), Humelsine et al.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5922079 (1999-07-01), Booth et al.
patent: 6212667 (2001-04-01), Geer et al.
patent: 6263456 (2001-07-01), Boxall et al.
patent: 6301701 (2001-10-01), Walker et al.
patent: 6304982 (2001-10-01), Mongan et al.
patent: 6356858 (2002-03-01), Malka et al.
patent: 6381604 (2002-04-01), Caughran et al.
patent: 6397359 (2002-05-01), Chandra et al.
patent: 6415396 (2002-07-01), Singh et al.
patent: 6427000 (2002-07-01), Mumford et al.
patent: 6647513 (2003-11-01), Hekmatpour
patent: 6687662 (2004-02-01), McNamara et al.
patent: 7139676 (2006-11-01), Barford
patent: 2002/0002698 (2002-01-01), Hekmatpour
patent: 2004/0154001 (2004-08-01), Haghighat et al.
patent: 2006/0265609 (2006-11-01), Fung
patent: 07-104834 (1995-04-01), None
IBM, “Research Disclosure”, v41, n412, #41265 (Aug. 1998).
Black, M.D.; Nguyen, T.L.: & Freeman, A.T.;“IBM Technical Disclosure Bulletin” v36, n8,pp. 127-130 (Aug. 1993).
Cockburn Joscelyn G.
Duncan Marc
Schubert Osterrieder & Nickelson PLLC
LandOfFree
Methods, systems, and media for management of functional... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Methods, systems, and media for management of functional..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods, systems, and media for management of functional... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3900954