Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system | IBM Journals & Magazine | IEEE Xplore