Scribd
Upload
16 views1 page

Functional Coverage Commands in Questasim

The document discusses the process of verification using functional coverage in SystemVerilog, detailing the use of coverage reports and the Unified Coverage DataBase (UCDB) for analysis. It explains how to configure covergroups, coverpoints, and crosses using the command line interface, as well as the predefined coverage methods available in SystemVerilog. Additionally, it describes the computation of functional coverage using built-in system functions to assess overall coverage across various types.

Uploaded by

ScribdTranslations
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
16 views1 page

Functional Coverage Commands in Questasim

The document discusses the process of verification using functional coverage in SystemVerilog, detailing the use of coverage reports and the Unified Coverage DataBase (UCDB) for analysis. It explains how to configure covergroups, coverpoints, and crosses using the command line interface, as well as the predefined coverage methods available in SystemVerilog. Additionally, it describes the computation of functional coverage using built-in system functions to assess overall coverage across various types.

Uploaded by

ScribdTranslations
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Verification with Functional Coverage

SystemVerilog Functional Coverage Flow

'coverage report', and/or save off coverage to the Unified Coverage DataBase (UCDB) with the
'coverage save' command. The UCDB can then be used for reporting, merging, ranking, or other
types of verification analysis.

Configuring Covergroups, Coverpoints, and Crosses


To set values for these variables from the Questa SIM command line interface or a.dofile, use
thechangecommand. For example:
change covervar.type_option.weight 20

a type_option is not accessible with the type name and '::' in the command line interface.

Functional Coverage Computation


Predefined Coverage Methods
The SystemVerilog LRM defines two built-in methods (get_coverage() and get_inst_coverage()).
applied at the covergroup, coverpoint, and cross scope.
Predefined Coverage System Function
the $get_coverage() built-in system function as 'the overall coverage of all coverage group
types.
Numerator= sum over all covergroup types of ( type::get_coverage() value *
type::type_option.weight
Denominator = sum over all covergroup types of ( type::type_option.weight )

You might also like