Data processing: measuring – calibrating – or testing – Testing system – Of circuit
Reexamination Certificate
2008-04-08
2008-04-08
Ramos-Feliciano, Eliseo (Department: 2857)
Data processing: measuring, calibrating, or testing
Testing system
Of circuit
C702S120000, C702S182000, C702S183000
Reexamination Certificate
active
07356436
ABSTRACT:
A technique for estimating and improving the test coverage for large machines, while accumulating minimum information of past test cases (i.e., minimum feedback) is provided. The technique is scalable in the sense that the number of machine instructions needed to measure the test coverage can range from a few instructions to all the instructions. The technique is easily integrated into existing test generation systems and is applicable to both uni- and multi-processing systems.
REFERENCES:
patent: 4433413 (1984-02-01), Fasang
patent: 4639916 (1987-01-01), Boutterin et al.
patent: 5021997 (1991-06-01), Archie et al.
patent: 5109484 (1992-04-01), Hughes et al.
patent: 5159600 (1992-10-01), Chintapalli et al.
patent: 5202889 (1993-04-01), Aharon et al.
patent: 5572666 (1996-11-01), Whitman
patent: 5951703 (1999-09-01), Sprouse et al.
patent: 6182245 (2001-01-01), Akin et al.
patent: 6401226 (2002-06-01), Maeno
patent: 6421822 (2002-07-01), Pavela
patent: 6606721 (2003-08-01), Gowin, Jr. et al.
patent: 6615120 (2003-09-01), Rother
patent: 6782518 (2004-08-01), Decker
patent: 7140003 (2006-11-01), Decker
Yossi Lichtenstein, et al.; Model Based Test Generation for Processor Verification; Pproc.7th Innovative Applications of Artificial Intelligence Conference, AAA1 pres, 1994, pp. 83-94.
Laurent Fournier, et al.; Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator; Dec. 17, 1998; Proc; Proc. Automation and Test in Europe, IEEE CS press, 1999 pp. 434-441.
Satz, PJ, “Random Instruction Sequence Test Program”,TDB n9b, Feb. 1990, pp. 208-210.
Glenn, SC “Power PC 601/604 Multiprocessor Random Verification Methodology,” TDB v37 n10, Oct. 1994, pp. 557-562.
Bohizic Theodore J.
Duale Ali Y.
Wittig Dennis W.
Cantor & Colburn LLP
International Business Machines - Corporation
Ortega Arthur
Ramos-Feliciano Eliseo
Suarez Felix
LandOfFree
Method, system, and storage medium for estimating and... 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 storage medium for estimating and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, system, and storage medium for estimating and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2780708