Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systemsKlaus-Dieter SchubertWolfgang Roesneret al.2011IBM J. Res. Dev