Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems | IBM Journals & Magazine | IEEE Xplore