Simulation of IBM Enterprise System/9000 Models 820 and 900
IBM Journal of Research and Development
Run-control and service element code simulation for the S/390 microprocessor
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
The IBM engineering verification engine
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
System control structure of the IBM eServer z900
IBM Journal of Research and Development
Hardware configuration framework for the IBM eServer z900
IBM Journal of Research and Development
The alternate support element, a high-availability service console for the IBM eServer z900
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
Accelerating system integration by enhancing hardware, firmware, and co-simulation
IBM Journal of Research and Development
IBM eServer z990 improvements in firmware simulation
IBM Journal of Research and Development
RAS design for the IBM eServer z900
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
Functional verification of the IBM system z10 processor chipset
IBM Journal of Research and Development
IBM system z10 firmware simulation
IBM Journal of Research and Development
Hi-index | 0.00 |
In the development of a large, complex computer system, the verification of its microcode by simulation can significantly decrease the time required for the integration, "bring up," and testing of the system. However, creating a process that integrates and aligns the smaller verification tasks to form a coordinated, seamless, and comprehensive system verification plan requires considerable effort. In this paper we present a brief summary of previous verification processes and describe a process, virtual power-on (VPO), which encompasses both hardware and software verification. We then compare the results achieved with that process with those achieved using previous processes. The VPO process was initially applied to the IBM eServer z900, resulting in a significant reduction in the time required for its development.