About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
HLDVT 2008
Conference paper
IBM system z functional and performance verification using X-gen
Abstract
In the IBM System z10 TM project, new hardware components such as a processor core, memory and IO subsystem as well as new packaging components have been designed. In this paper we describe how functional hardware verification has been applied to verify the correctness of system related functions. A huge challenge is to prove that the system performance with respect to bandwidth and latency actually matches the predictions as well as the actual prototypes. This paper describes a new method that has been introduced in order to verify the system performance using simulation of RTL models. The paper further describes the application of a model-based random test case generator named X-Gen to provide complex testing scenarios, intelligent background noise, and expected results. It concludes with the results of the verification approaches with respect to finding functional and performance related hardware inefficiencies during the design implementation phase. © 2008 IEEE.