By Topic

MPTG: a portable test generator for cache-coherent multiprocessors

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)

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

Published in:

Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on

Date of Conference:

28-31 Mar 1995