Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification | IBM Journals & Magazine | IEEE Xplore