Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy
- 1 January 2012
- journal article
- Published by IBM in IBM Journal of Research and Development
- Vol. 56 (1)
- https://doi.org/10.1147/JRD.2011.2178737
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- IBM zEnterprise redundant array of independent memory subsystemIBM Journal of Research and Development, 2012
- IBM zEnterprise 196 microprocessor and cache subsystemIBM Journal of Research and Development, 2012
- Facing the challenge of new design featuresPublished by Association for Computing Machinery (ACM) ,2011
- Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systemsIBM Journal of Research and Development, 2011
- Functional verification of the IBM System z10 processor chipsetIBM Journal of Research and Development, 2009
- Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systemsIBM Journal of Research and Development, 2005
- Genesys-pro: innovations in test program generation for functional processor verificationIEEE Design & Test of Computers, 2004
- Configurable system simulation model build comprising packaging design dataIBM Journal of Research and Development, 2004
- Scalable Automated Verification via Expert-System Guided TransformationsLecture Notes in Computer Science, 2004
- Design of the IBM Enterprise System/9000 high-end processorIBM Journal of Research and Development, 1992