Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy. - Christopher A. Krygowski; Eli Almog; Dean G. Bair; Raimund Breil; Gero Dittmann; Rebecca M. Gott; William J. Lewis; Alia D. Shah; Brian W. Thompto (IBM J. Res. Dev., 2012)