Method and apparatus for creating a multiprocessor verification environment

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 5740353
SERIAL NO

08572472

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

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.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress
INTERNATIONAL BUSINESS MACHINES CORPORATIONNEW ORCHARD ROAD ARMONK NY 10504

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Kreulen, Jeffrey Thomas Austin, TX 31 1032
Mandyam, Sriram Srinivasan Austin, TX 4 163
O'Krafka, Brian Walter Austin, TX 17 678
Raghavan, Ramanathan Round Rock, TX 5 204
Salamian, Shahram Austin, TX 4 71

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation