Question

covergroup_declaration ::=

covergroup covergroup_identifier [ ( [ tf_port_list ] ) ] [ coverage_event ] ;

{ coverage_spec_or_option ; }

endgroup [ : covergroup_identifier ]

coverage_spec_or_option ::=

{attribute_instance} coverage_spec

| {attribute_instance} coverage_option ;

coverage_option ::=

option.member_identifier = expression

| type_option.member_identifier = expression

coverage_spec ::=

cover_point

| cover_cross

coverage_event ::=

clocking_event

| @@( block_event_expression )

block_event_expression :: =

block_event_expression or block_event_expression

| begin hierarchical_btf_identifier

| end hierarchical_btf_identifier

hierarchical_btf_identifier :: =

hierarchical_tf_identifier

| hierarchical_block_identifier

| hierarchical _identifier [ class_scope ] method_identifier

cover_point ::= [ cover_point_identifer : ] coverpoint expression [ iff ( expression ) ] bins_or_empty

bins_or_empty ::=

{ {attribute_instance} { bins_or_options ; } }

| ;

bins_or_options ::=

coverage_option

| [ wildcard ] bins_keyword bin_identifier [ [ [ expression ] ] ] = { range_list } [ iff ( expression ) ]

| [ wildcard] bins_keyword bin_identifier [ [ ] ] = trans_list [ iff ( expression ) ]

| bins_keyword bin_identifier [ [ [ expression ] ] ] = default [ iff ( expression ) ]

| bins_keyword bin_identifier = default sequence [ iff ( expression ) ]

bins_keyword::= bins | illegal_bins | ignore_bins

range_list ::= value_range { , value_range }

trans_list ::= ( trans_set ) { , ( trans_set ) }

trans_set ::= trans_range_list => trans_range_list { => trans_range_list }

trans_range_list ::=

trans_item

| trans_item [ [* repeat_range ] ]

| trans_item [ [–> repeat_range ] ]

| trans_item [ [= repeat_range ] ]

trans_item ::= range_list

repeat_range ::=

expression

| expression : expression

cover_cross ::= [cover_point_identifer : ] cross list_of_coverpoints [ iff ( expression ) ] select_bins_or_empty

list_of_coverpoints ::= cross_item , cross_item { , cross_item }

cross_item ::=

cover_point_identifier

| variable_identifier

select_bins_or_empty ::=

{ { bins_selections_or_option ; } }

| ;

bins_selection_or_option ::=

{ attribute_instance } coverage_option

| { attribute_instance } bins_selection

bins_selection ::= bins_keyword bin_identifier = select_expression [ iff ( expression ) ]

select_expression ::=

select_condition

| ! select_condition

| select_expression && select_expression

| select_expression || select_expression

| ( select_expression )

select_condition ::= binsof ( bins_expression ) [ intersect { open_range_list } ]

bins_expression ::=

variable_identifier

| cover_point_identifier [ . bins_identifier ]

open_range_list ::= open_value_range { , open_value_range }

open_value_range ::= value_range21