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 (DAC, 1997)