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