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)