RE: [sv-ec] Ballot issue #106

From: Swapnajit Chakraborti <swapnaj_at_.....>
Date: Mon Apr 27 2009 - 00:39:21 PDT
Hi Dave,
 
Regarding the first point: Do you mean that "will not track" implies
that input arguments cannot be used
in coverpoint expressions as coverpoints track values? Please clarify.
 
Regds,
Swapnajit


________________________________

	From: David Scott [mailto:david_scott@mentor.com] 
	Sent: Friday, April 24, 2009 9:59 PM
	To: Swapnajit Chakraborti
	Cc: sv-ec@eda.org
	Subject: Re: [sv-ec] Ballot issue #106
	
	
	Well, again, I think the instructions from P1800 are to work on
ballot issues only.  Neil can confirm.
	
	I don't think the first point is very unclear.  Look for the
phrase "will not track" in the paragraph about covergroup arguments.
	
	The second case may actually be unclear (I started off writing
that it wasn't.)  The visibility of the arguments should follow the same
rules as resolving arguments in any other scope.  However, the
coverpoint is a sub-scope of the covergroup scope, so the bin name
should arguably hide (or override) the name in the higher scope.  On the
other hand, bin names really aren't visible in the language, except in
cross select expressions, so maybe they don't.  Yes, this should
probably be clarified, but it is not a ballot issue against 1800-2009.
	
	Dave
	
	
	
	Swapnajit Chakraborti wrote: 

		Hi Dave,
		 
		Did you get a chance to look at the two points that I
raised alongwith #106? These were not part of the
		ballot, but were posted to the reflector as comments. I
am mentioning them once again for your reference. 
		 
		- Use of "input" type arguments as part of coverpoint
expressions. I do not see an
		  issue with this but just wanted to clarify as LRM is
silent on this. LRM just shows
		  "ref" arguments being used as coverpoint expressions.
		- Use of covergroup arguments as bin name. Probably we
should mention in LRM
		  that this should be an error. An example of this is
given below:
		  covergroup cg (int f1,..)@..
		     coverpoint a {
		        bins f1 = {..};  // Note "f1" is used as bin
name
		     }
		  endgroup
		 
		Regds,
		Swapnajit


________________________________

			From: owner-sv-ec@eda.org
[mailto:owner-sv-ec@eda.org] On Behalf Of Scott, David
			Sent: Thursday, April 23, 2009 3:56 AM
			To: sv-ec@eda.org
			Subject: [sv-ec] Ballot issue #106
			
			
			This is the one about covergroup arguments using
"output" ...
			 
			http://www.eda-stds.org/mantis/view.php?id=2710
			 

			-- 
			This message has been scanned for viruses and 
			dangerous content by MailScanner
<http://www.mailscanner.info/> , and is 
			believed to be clean. 



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Apr 27 00:43:13 2009

This archive was generated by hypermail 2.1.8 : Mon Apr 27 2009 - 00:44:02 PDT