Design and verification of the IBM System z10 I/O subsystem chips. - Thomas Schlipf; Markus M. Helms; Jürgen Ruf; M. Klein; Rainer Dorsch; B. Hoppe; Walter Lipponer; S. Boekholt; T. Rower; Manfred H. Walz; S. Junghans (IBM J. Res. Dev., 2009)