Verification of non-mainline functions in todays processor chipsJohannes KoestersAlex Goryachev2014DAC 2014
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