Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. - Bruce Wile; Michael P. Mullen; Cara Hanson; Dean G. Bair; Kevin M. Lasko; Patrick J. Duffy; Edward J. Kaminski Jr.; Thomas E. Gilbert; Steven M. Licker; Robert G. Sheldon; William D. Wollyung; William J. Lewis; et al. (IBM J. Res. Dev., 1997)

Functional verification of the z990 superscalar, multibook microprocessor complex. - Dean G. Bair; Steven M. German; William D. Wollyung; Edward J. Kaminski Jr.; James Schafer; Michael P. Mullen; William J. Lewis; Rebecca Wisniewski; Joerg Walter; Steven Mittermaier; Visda Vokhshoori; Robert J. Adkins; et al. (IBM J. Res. Dev., 2004)

Functional verification of the IBM System z10 processor chipset. - Christopher A. Krygowski; Dean G. Bair; Rebecca M. Gott; M. H. Decker; A. V. Giri; Christian Habermann; Matthias Heizmann; Stefan Letz; William J. Lewis; Steven M. Licker; H. Mallar; Edward C. McCain; et al. (IBM J. Res. Dev., 2009)

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)