RE: [sv-ac] Regarding Coverage features

Hi ED,

 

   Means the same feature of "bind"  can be used for assertions as well
as for module,interface,program( in which I defined  the covergroups).
So, code syntax for binding of coverage will be like this :

 

>file : cover.sv

 

Program coverage (input clk,input a,b,c)

Class test;

 

  Covergroup cg @(posedge clk)

{

   // coverpoints and bins.......

}

  Endgroup

 

Endclass

Endprogram

 

Bind stimulus.dut coverage cover1( clk,a,b,c);

 

//where stimulus is top level testbench and dut is the RTL ,instantiated
under this.

 

 

And ,ED  can u please suggest something for the point no. 2 & 3 ,
written below:

 

      2.  How can we do on/off with the covergroups??Like in
Randomization , we r having " rand_mode() / constraint_mode()"
predefined methods to do that at run time . So, is there any pre defined
method to do that ??

 

      3.  Since we r using dynamic allocation/execution for
covergroup/classes by using "new" , so at run time as per our
requirement in the modelling, can we use "delete" , and keep off that
particular coverage/class object handler ??.

 

 

 

Thanks & Regards

-Saurabh Kumar Shrimal

________________________________

From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
Sent: Monday, November 21, 2005 6:13 PM
To: Shrimal, Saurabh Kumar; sv-ec@eda.org; sv-ac@eda.org
Subject: RE: [sv-ac] Regarding Coverage features

 

Hello Saurabh,

 

you can bind any module, interface or program to any other such object
definition or instance. (The exception is that module cannot be bound to
a program.) It is like instantiation but done from the outside and can
also be done only to an instance.

 

Best regards,

ed

 

	 

	
________________________________


	From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf
Of Shrimal, Saurabh Kumar
	Sent: Saturday, November 19, 2005 12:30 PM
	To: sv-ec@eda.org; sv-ac@eda.org
	Subject: [sv-ac] Regarding Coverage features

	Hi,

	 

	   I am having few doubts with respect to coverage supports
provided by SV.

	 

	1.	Is it possible to use "bind " keyword to bind my file
which is having all the information of coverpoints ??? as LRM says that
similar we can do with assertions only, so is it possible with
covergroups also. 

	 

	      2.  How can we do on/off with the covergroups??Like in
Randomization , we r having " rand_mode() / constraint_mode()"
predefined methods to do that at run time . So, is there any pre defined
method to do that ??

	 

	      3.  Since we r using dynamic allocation/execution for
covergroup/classes by using "new" , so at run time as per our
requirement in the modelling, can we use "delete" , and keep off that
particular coverage/class object handler ??.

	 

	 

	Regards

	-Saurabh