Patent
1997-07-07
1998-12-01
Beausoliel, Jr., Robert W.
39518302, 39518508, G06F 1300
Patent
active
058450645
ABSTRACT:
A method of testing a circuit design is provided which allows for the comparison output of an abstract reference model of the circuit and the circuit itself to the same set of input stimuli. The circuit under test may operate in a manner which produces unpredictable events, results, or data. Due to the nature of the reference model, unpredictable results, data, or events are not allowed to occur. Thus to compare the outputs of the two as a means of verifying the circuit design, the testing method allows for a comparison analysis of the outputs despite the possibility of unpredictable data and events occurring on the circuit and not the model.
REFERENCES:
patent: 4819233 (1989-04-01), Delucia et al.
patent: 5067129 (1991-11-01), Evans et al.
patent: 5161158 (1992-11-01), Chakravarty et al.
patent: 5187788 (1993-02-01), Marmeistein
patent: 5233611 (1993-08-01), Triantafyllos et al.
patent: 5412802 (1995-05-01), Fujinami et al.
patent: 5414836 (1995-05-01), Baer et al.
patent: 5469463 (1995-11-01), Polich et al.
Automator QA Developer Guide with Examples (1991) by Direct Technology, at 1-4 to 1-15, 4-21 to 4-24, 5-24 to 5-34.
Automator QA Programmer Reference Manual (1991) by Direct Technology, at 1-7, 3-47, 4-24 to 4-25.
Thevenod-Fosse, From Random Testing of Hardware to Statistical Testing of Software, Advanced Computer Technology, Reliable Systems and Applications, 5th Annual European Computer Conference CompEuro '91, May 13-16, 1991, at 200.
Myers, Art of Software Testing (1979) at 56-69.
Beizer, Software System Testing and Quality Assurance (1984) at 91-140.
Automator QA User Guide (1991) by Direct Technology, at 2-2, 3-8 to 3-9, 5-1 to 5-6, A-4 to A-6.
Kantowitz, Michael and Noack, Lisa M., "Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor -- the Alpha 21164 CPU Chip", 1995, vol. 7, No. 1, at 136-143.
Gould, Lawrence, "Another Tool in the Planning Toolbox", Managing Automation, Jul. 1992, pp. 22-23.
Quinnell, Richard, A., "Experiment-design software puts your hardware to the test", EDN, Jul. 8, 1993, at 94-98.
Anderson, "Logical Verification of the NVAX CPU Chip Design", Digital Technical Journal, vol. 4, No. 3, Summer 1992, at 38-46.
Ahi, Ali, M. et al., "Design Verification of the HP 9000 Series 700 PA-RISC Workstations", Aug. 1992, Hewlett-Packard Journal, at 34-42.
Beausoliel, Jr. Robert W.
Digital Equipment Corporation
Saturnelli Anne E.
Wright Norman M.
LandOfFree
Method for testing and verification of a CPU using a reference m 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 for testing and verification of a CPU using a reference m, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for testing and verification of a CPU using a reference m will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2401975