User guide

21-47
OpenVera Native Testbench
• Optionally, a set of state and/or transition bins that define a named
equivalence class for a set of values or transitions associated with
each coverage point.
• Optionally, cross products of subsets of the sampled coverage
points (cross coverage).
The coverage_group construct is similar to an OpenVera class in that
the definition is written once and is instantiated one or more times.The
construct can be defined as a top-level (file scope) construct (referred
to as standalone), or may be contained inside a class. Once defined,
standalone coverage is instantiated with the new() system call while
embedded (contained) coverage groups are automatically
instantiated with the containing object.
The basic syntax for defining a coverage_group is:
coverage_group definition_name [(argument_list)]
{
sample_event_definition;
[sample_definitions;]
[cross_definitions;]
[attribute_definitions;]
}
The syntax for defining an embedded coverage_group is:
class class_name
{
// class properties
// coverage
coverage_group definition_name .... (same as external).
// constraints
// methods
}
For definitions, see the Coverage Group section in the OpenVera
LRM: Native Testbench book.