ODETTE Verification Environment |
|
ODETTE page at OFFIS |
Development of the SystemC(TM) Plus Design Methodology and class libraries based on object-orientated programming paradigm must be accompanied by changes in the verification methodology. These changes in verification methodology are needed for two main reasons. First, the verification methodology needs to find proper substitutions for existing technologies that are no longer applicable in the new design methodology. In addition, changes in the design methodology can open new opportunities for new technologies and improvement in existing technologies, all of which can lead to a better verification. The main challenges that the new design methodology gives to existing verification techniques are the need to treat data objects and the need to break the encapsulation that object-oriented techniques create. The main opportunities rising from the new methodology are the clearer picture that more abstract designs provide, and the ability of objects to assist in their own verification. To address the new challenges and take advantage of the new opportunities, it has been defined a new concept of high-level local events for verification in an object-oriented design environment. High-level local events are simple events that are limited in their scope to a single object. Each class in the design defines a set of events that can happen in it during simulation. It is the responsibility of each instance of the class to handle its own events and provide the necessary services for verification tools with respect to these events. These services include queries on the state of events, setting the value of events, and getting hints on how to reach specific events. The verification environment consists of two main components. The first component consists of base classes for the design objects that provide the necessary support for locally handling the high-level local events defined by the classes of these objects. The second component consists of tool support classes. These classes provide the external verification tools the API required for accessing and handling the local events of the design objects and taking advantage of their local verification services. The Specification of SystemC(TM) Plus Verification Environment created in the framework of ODETTE project provides description of verification environment that supports the concept of high-level local events in the context of the SystemC(TM) Plus Design Methodology.
Guidelines for the High-Level Verification Methodology developed by IBM in the ODETTE project.
User's Guide for the ODETTE Verification Environment which implements the High-Level Verification Methodology. It is built as additional class library that takes advantage from object-orientation in design methodology. This library enhances SystemC(TM) Verification Library by verification techniques specific for object-oriented designs.
|
|