

Each coverage point includes a set of bins associated with its sampled values or its value transitions.Ī coverage group can also specify cross coverage between two or more coverage points or variables. A coverage point can be a variable or an expression. Actual arguments are evaluated when the new operator is executed.Ī covergroup can contain one or more coverage points. This is same as in the case of constructor of a class. When the covergroup specifies a list of formal arguments, its instances must provide to the new operator all the actual arguments that are not defaulted. A covergroup can specify an optional list of arguments. The identifier associated with the covergroup declaration defines the name of the coverage model. This is done via the built-in sample method. If the clocking event is omitted, users must procedurally trigger the coverage sampling. If a clocking event is specified, it defines the event at which coverage points are sampled. Optional formal arguments : This is arguments that are passed when a instance of covergroup is created.coverage options : This are used to control the behaviour of the covergroup.cross coverage : Coverage group can also specify cross coverage between two or more coverage points or variables.coverage points : A coverage point can be a variable or an expression.


clocking event : Defines the event at which coverage points are sampled.A covergroup can contain following constructs.
