Solutions to IBM POWER8 verification challengesKlaus-Dieter SchubertJohn M. Luddenet al.2015IBM J. Res. Dev
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systemsKlaus-Dieter SchubertWolfgang Roesneret al.2011IBM J. Res. Dev