IBM eServer z900 system microcode verification by simulation: The virtual power- on process

摘要

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.