IBM system z10 firmware simulation

Authors:
S. Koerner;A. Kohler;J. Babinsky;H. Pape;F. Eickhoff;S. Kriese;H. Elfering
Affiliations:
IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany;IBM Deutschland Entwicklung GmbH, Boeblingen, Germany
Venue:
IBM Journal of Research and Development
Year:
2009

Citing 12
Cited 1

Millicode in an IBM zSeries processor

IBM Journal of Research and Development
The GNU 64-bit PL8 compiler: toward an open standard environment for firmware development

IBM Journal of Research and Development
IBM eServer z990 improvements in firmware simulation

IBM Journal of Research and Development
High-speed source-synchronous interface for the IBM System z9 processor

IBM Journal of Research and Development
System control structure of the IBM eServer z900

IBM Journal of Research and Development
IBM eServer z900 system microcode verification by simulation: the virtual power-on process

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

IBM Journal of Research and Development
z/CECSIM: an efficient and comprehensive microcode simulator for the IBM eServer z900

IBM Journal of Research and Development
Functional verification of the IBM system z10 processor chipset

IBM Journal of Research and Development
IBM system z10 I/O subsystem

IBM Journal of Research and Development
Design and verification of the IBM system z10 I/O subsystem chips

IBM Journal of Research and Development
Autonomic computing and IBM system z10 active resource monitoring

IBM Journal of Research and Development

Firmware verification and simulation in IBM zEnterprise 196

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

While a number of techniques to further improve firmware quality H. Elfering and design stability and to reduce firmware field problems over the long term were introduced with the IBM z900 and z990, a second wave of techniques were introduced for the IBM System z10™ platform. This paper describes the three new techniques: an enhanced static code analysis tool, code coverage, and simulation improvements.