Hierarchical Random Simulation Approach For The Verification Of S/390 Cmos Multiprocessors | IEEE Conference Publication | IEEE Xplore