[sv-ec] Coverage system tasks and functions

Resend.

Following a comment by Mehdi in Mantis 1655, I am confused.

Coverage system tasks and functions are defined in both 18.9 and 39.3.2:

18.9 Predefined coverage system tasks and functions
SystemVerilog provides the following system tasks and functions to help
manage coverage data collection.
- $set_coverage_db_name ( name ) sets the filename of the coverage
database into which coverage information is saved at the end of a
simulation run.
- $load_coverage_db ( name ) loads from the given filename the
cumulative coverage information for all coverage group types.
- $get_coverage ( ) returns as a real number in the range of 0 to 100
the overall coverage of all coverage group types. This number is
computed as described above.


39.3.2 Built-in coverage access system functions

39.3.2.1 $coverage_control
$coverage_control(control_constant, coverage_type, scope_def,
modules_or_instance)
This function is used to control or query coverage availability in the
specified portion of the hierarchy.

39.3.2.2 $coverage_get_max
$coverage_get_max(coverage_type, scope_def, modules_or_instance)
This function obtains the value representing 100% coverage for the
specified coverage type over the specified portion of the hierarchy. 
This value shall remain constant across the duration of the simulation.

39.3.2.3 $coverage_get
$coverage_get(coverage_type, scope_def, modules_or_instance)
This function obtains the current coverage value for the given coverage
type over the given portion of the hierarchy.

39.3.2.4 $coverage_merge
$coverage_merge(coverage_type, "name")
This function loads and merges coverage data for the specified coverage
into the simulator.

39.3.2.5 $coverage_save
$coverage_save(coverage_type, "name")
This function saves the current state of coverage to the tool's coverage
database and associates it with the given name.


Why are they not defined in the same section?
Why does one set of names start with $coverage and the other set ends
with _coverage?
Why is there both $get_coverage and also $coverage_get?
Why do they not appear in Clause 19?

Thanks,
Shalom


Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.