HAVEN

As the whole framework is implemented in compliance with the paradigm of objectoriented programming, the reuse of verification components (thanks to the mechanisms of encapsulation, inheritance and polymorphism) may lead to a considerable increase in productivity. The framework offers a library of prepared basic and extended verification components (classes) that are organized into packages. Thanks to these, assembling packages with new user-defined components or components inherited from base classes can be easily done.

The architecture of the framework complies also to the principles of popular verification methodologies so the level of understandability for verification engineers remains the same. Software verification environments designed in SystemVerilog can be easily modified or extended to enable acceleration. It is also possible to create a completely new verification environment. Only two steps are required: framework components need to be connected to the verification environment and a testcase created according to the template.