ABSTRACT:

In IBM zEnterprise® 196, we introduced another set of firmware verification environments to enhance the verification coverage. In this paper, we discuss four affected areas: 1) virtualization of the support element, the hardware management console, and the flexible support processor; 2) test cases; 3) simulation of input/output adapter firmware; and 4) static analysis for millicode. These start another round in increasing verification coverage with the final goal of having all firmware components under simulation and test before the final system becomes available.