PaperDesign and verification of the IBM System z10 I/O subsystem chipsThomas Schlipf, Markus M. Helms, et al.IBM J. Res. Dev