Title :
MPTG: a portable test generator for cache-coherent multiprocessors
Author :
O´Krafka, B. ; Mandyam, Sriram ; Kreulen, Jeff ; Raghavan, Ram ; Saha, Avijit ; Malik, Nadeem
Author_Institution :
IBM Corp., Austin, TX, USA
Abstract :
Cache-coherent multiprocessors are typically verified by extensive simulation with randomly generated testcases. With this methodology, certain aspects of test coverage can be measured using monitors that record the occurrence of specific events during simulation. If certain events do not occur sufficiently often, the designer must somehow bias the random test generator or write hand-written testcases to improve coverage of the desired event. This is usually a labor-intensive process that is made worse by frequent changes in design specifications and the high cost of simulating large multiprocessor models. This paper describes MPTG (MultiProcessor Test Generator): a portable test generator that automates much of this labor-intensive component of the simulation process. MPTG does this by deterministically generating sets of testcases that are guaranteed to cause specific events to happen. For example, with a single, compact test specification it is possible to generate a set of tests that exercise all transaction types and current cache state combinations at a particular cache in the system. Alternatively, it is easy to generate a set of tests that exercise all two-way races that can occur at a particular cache. Test generation at this level of detail requires the incorporation of a system-wide coherence protocol within the test generator, which can make it difficult to port the test generator to different systems. Portability is achieved in MPTG by breaking the test generator into two parts: a generic test generation engine and a system-specific set of protocol tables
Keywords :
computer testing; formal specification; formal verification; multiprocessing systems; performance evaluation; virtual machines; MPTG; MultiProcessor Test Generator; cache-coherent multiprocessors; design specifications; extensive simulation; hand-written testcases; portability; portable test generator; random test generator; system-wide coherence protocol; test coverage; Automatic testing; Costs; Databases; Discrete event simulation; Engines; Packaging machines; Protocols; Reduced instruction set computing; System testing;
Conference_Titel :
Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-7803-2492-7
DOI :
10.1109/PCCC.1995.472514