Verification of transactional memory in POWER8
Allon Adir, Dave Goodman, et al.
DAC 2014
The continuing trend toward increased parallelism in processor design can be seen in both the growing number of processor cores per system and in on-core hardware mechanisms that assist parallelism, such as multithreading and cache hierarchies. This complexity exacerbates the problem of ensuring the functional correctness of such hardware systems. The growing importance of post-silicon validation is leading to an emerging type of parallel application, namely, the hardware exerciser. We describe a method for exercising parallel hardware by generating pseudorandom concurrent test programs. The test generation is carried out on the tested parallel platform and thus the generator itself is also a concurrent program. We describe the challenges associated with this technology and the approach used by the Threadmill hardware exerciser, a tool developed for the post-silicon validation of the IBM POWER7 processor. © 1982-2012 IEEE.
Allon Adir, Dave Goodman, et al.
DAC 2014
Shai Fine, Avi Ziv
DAC 2003
Markus Braun, Shai Fine, et al.
HLDVT 2004
Avi Ziv, Jehoshua Bruck
IEEE TC