Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification. - Jörg Kayser; Stefan Koerner; Klaus-Dieter Schubert (IBM J. Res. Dev., 2002)