Method and apparatus for creating a multiprocessor verification environment

Patent 5740353 Issued on April 14, 1998. Estimated Expiration Date:

December 14, 2015. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.

Abstract Claims Description Full Text

Patent References

Multi-processor automatic test system
Patent #: 4397021
Issued on: 08/02/1983
Inventor: Lloyd , et al.

Apparatus for testing circuits within a system
Patent #: 4554636
Issued on: 11/19/1985
Inventor: Maggi , et al.

Shared interface apparatus for testing the memory sections of a cache unit
Patent #: 4575792
Issued on: 03/11/1986
Inventor: Keeley

Self testing data processing system with processor independent test program
Patent #: 4633466
Issued on: 12/30/1986
Inventor: Laws , et al.

Method and apparatus for testing a multi-processor system
Patent #: 4802164
Issued on: 01/31/1989
Inventor: Fukuoka , et al.

Early failure detection system for multiprocessor system
Patent #: 4839895
Issued on: 06/13/1989
Inventor: Makita

Apparatus and method for testing the operation of a central processing unit of a data processing system
Patent #: 4933941
Issued on: 06/12/1990
Inventor: Eckard, et al.

Cache providing caching/non-caching write-through and copyback modes for virtual addresses and including bus snooping to maintain coherency
Patent #: 5091846
Issued on: 02/25/1992
Inventor: Sachs, et al.

Method and apparatus for performing health tests of units of a data processing system
Patent #: 5210757
Issued on: 05/11/1993
Inventor: Barlow, et al.

Multiprocessor system with centralized initialization, testing and monitoring of the system and providing centralized timing
Patent #: 5274797
Issued on: 12/28/1993
Inventor: Barlow, et al.

More ...

Inventors

Application

No. 572472 filed on 12/14/1995

US Classes:

714/42, Memory or storage device component fault714/33Derived from analysis (e.g., of a specification or by stimulation)

Examiners

Primary: Beausoliel, Robert W. Jr.
Assistant: Palys, Joseph E.

Attorney, Agent or Firm

Mims, Jr.; David A.

International Class

G06F 011/00

Abstract

A method and apparatus for creating a multiprocessor verification environment. A Multiprocessor Test Generator (MPTG) generates a set of test cases in a Multiprocessor Test Language (MTL) format subject to constraints and enumeration controls in a test specification. An abstract system model of the machine under test is inputted to the Multiprocessor Test Generator. The Multiprocessor Test Generator (MPTG) receives the test specification and abstract system model, accesses a system specific database and generates test cases based on the constraints in the test specification in a Multiprocessor Test Language (MTL). The Multiprocessor Test Language (MTL) test cases are inputted to a Multiprocessor Test Executive (MPX) which controls the issuance of the test cases to a cache-coherent multiprocessor system, and monitors their completion in order to verify operation of the cache-coherent multiprocessor system.