svt_err_check_stats_cov Class Reference

Inheritance diagram for class svt_err_check_stats_cov:

List of all members.

Detailed Description

This class defines the covergroup for the svt_err_check_stats instance.


Public Member Functions

function void  new ( string name = "", bit enable_covergroup = 1 )
function void  sample_status ( bit status_bit, string message = "" )
function void  set_enable_fail_cov ( bit enable_fail_cov )
function void  set_enable_pass_cov ( bit enable_pass_cov )
function void  set_unique_id ( string unique_id )
function void  shape_cov ( )

Public Attributes

static bit  initial_enable_fail_cov = 1; 
static bit  initial_enable_pass_cov = 0; 

Protected Attributes

protected bit  enable_fail_cov = svt_err_check_stats_cov; 
protected bit  enable_pass_cov = svt_err_check_stats_cov; 
protected bit  status_bit 

Covergroups

covergroup  status  ( )

Member Function Documentation

  function void
 svt_err_check_stats_cov::new
 (  string name = "", bit enable_covergroup = 1  ) 

CONSTRUCTOR: Creates a new instance of the svt_err_check_stats_cov class.

name - name given to this instance.

enable_covergroup - Qualifier whether to create the covergroup or not.

  function void
 svt_err_check_stats_cov::sample_status
 (  bit status_bit , string message = ""  ) 

Method to update the sample value for the covergroup.

It sets the "status_bit" field. It calls the sample method for the "status" covergroup if the "status" covergroup has been created.

status_bit - Sampling bit for the covergroup.

message - Optional string which may be used in extended classes to differentiate 'fail' cases. Ignored by the base class implementation.

  function void
 svt_err_check_stats_cov::set_enable_fail_cov
 (  bit enable_fail_cov  ) 

Sets the "enable_fail_cov" bit for the "status" covergroup.

enable_fail_cov - Bit indicating to enable "fail" bins

  function void
 svt_err_check_stats_cov::set_enable_pass_cov
 (  bit enable_pass_cov  ) 

Sets the "enable_pass_cov" bit for the "status" covergroup.

enable_pass_cov - Bit indicating to enable "pass" bins

  function void
 svt_err_check_stats_cov::set_unique_id
 (  string unique_id  ) 

Method to set the instance name for any covergroup contained in this class, based on the unique_id provided as a representation of the associated check.

It sets the instance of the "status" covergroup to {unique_id,"_status"} if the "status" covergroup has been created.

unique_id - Unique identifier for the covergroup.

  function void
 svt_err_check_stats_cov::shape_cov
 (   ) 

Member Attribute Documentation

 protected bit  attribute
 svt_err_check_stats_cov::enable_fail_cov = svt_err_check_stats_cov

Enables the "fail" bins of the status covergroup

 protected bit  attribute
 svt_err_check_stats_cov::enable_pass_cov = svt_err_check_stats_cov

Enables the "pass" bins of the status covergroup

 static bit  attribute
 svt_err_check_stats_cov::initial_enable_fail_cov = 1

Value used to initialize the enable_fail_cov field when the next cov instance is created.

 static bit  attribute
 svt_err_check_stats_cov::initial_enable_pass_cov = 0

Value used to initialize the enable_pass_cov field when the next cov instance is created.

 protected bit  attribute
 svt_err_check_stats_cov::status_bit

The value being covered

Member CoverGroup Documentation

  covergroup
 svt_err_check_stats_cov::status

Covergroup which would indicate the pass and fail hits for a particular svt_err_check_stats.
covergroup status;
     option.per_instance = 1;
    option.goal = 100;
    pass : coverpoint status_bit iff (enable_pass_cov) {
      bins pass = {1};
       ignore_bins pass_i = {1} iff (!enable_pass_cov);
    }
    fail : coverpoint !status_bit iff (enable_fail_cov) {
      bins fail = {1};
       ignore_bins fail_i = {1} iff (!enable_fail_cov);
    }
  endgroup
08 August 2024, Copyright © 2024 Synopsys, Inc.