Question

$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. This name will be mapped in an implementation-specific way into some file or set of files in the coverage database. Data saved to the database shall be retrieved later by using $coverage_merge and supplying the same name. Saving coverage shall not have any effect on the state of coverage in this simulation.

The return values from this function are:

‘SV_COV_OK
the coverage data was successfully saved.

‘SV_COV_NOCOV
no such coverage is available in this design (nothing was saved).

‘SV_COV_ERROR
some error occurred during the save. If an error occurs, the tool shall automatically
remove the coverage database entry for name to preserve the coverage database
integrity. It is not an error to overwrite a previously existing name.

NOTES

1. The coverage database format is implementation-dependent.
2. Mapping of names to actual directories/files is implementation-dependent. There is no requirement that a coverage name map to any specific set of files or directories.