Functional verification of the z990 superscalar, multibook microprocessor complex.
Dean G. BairSteven M. GermanWilliam D. WollyungEdward J. Kaminski Jr.James SchaferMichael P. MullenWilliam J. LewisRebecca WisniewskiJoerg WalterSteven MittermaierVisda VokhshooriRobert J. AdkinsMichael HalasThomas RuaneUrsel HahnPublished in: IBM J. Res. Dev. (2004)