Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification

Jörg Kayser, Stefan Koerner, Klaus-Dieter Schubert. Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification. IBM Journal of Research and Development, 46(4-5):597-606, 2002. [doi]

Abstract

Abstract is missing.