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 2005
Conference paper
Reuse in system-level stimuli-generation
Abstract
This paper reports on the verification models of twelve systems including servers and advanced processors. We focus on system-level stimuli generation and study reuse in subsequent system models. The paper describes our modeling framework, where systems are modeled mainly by declarative constructs with some procedural code. Separate test specifications are used to direct stimuli generation, but are not studied in this paper. We find that a high level of white-box reuse reduces costs and allows starting the verification process early. This result reflects gradual evolution of the systems we study and the effectiveness of the declarative modeling scheme. We discuss the possible influence of libraries of system-level constructs on reuse in languages such 'e', Vera, and SystemVerilog. © 2005 IEEE.