Functional verification of the z990 superscalar, multibook microprocessor complexDean G. BairSteven M. Germanet al.2004IBM J. Res. Dev