Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors.

Jörg A. Walter Jens Leenstra Gerhard Döttling Bernd Leppla Hans-Jürgen Münster Kevin W. Kark Bruce Wile Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors. 89-94 1997 DAC http://doi.acm.org/10.1145/266021.266041 db/conf/dac/dac97.html#WalterLDLMKW97