RE: [sv-ec] Query on transition bins

From: Swapnajit Chakraborti <swapnaj_at_.....>
Date: Tue Aug 05 2008 - 23:44:43 PDT
Hi David,
 
Thanks for the clarification. I believe you are referring to F.3.4.4 and
not F.3.3.4.
Anyway, this clears my doubt. 
 
Regds,
Swapnajit


________________________________

	From: David Scott [mailto:david_scott@mentor.com] 
	Sent: Wednesday, August 06, 2008 4:00 AM
	To: Swapnajit Chakraborti
	Cc: sv-ec@eda.org
	Subject: Re: [sv-ec] Query on transition bins
	
	
	Swapnajit --
	
	I believe "any number" is "0 or more".
	
	The LRM justification is to be found in Appendix F.3.3.4 (Draft
6) which defines formal semantics for non-consecutive repetitions of
assertions.  This is not quite made explicit in the covergroup section,
but I believe the intention was that the same syntax in both covergroups
and assertions would have semantics as similar as possible.
	
	-- David Scott
	
	
	Swapnajit Chakraborti wrote: 

		Resending. Please let me know your comments on the
following query.
		 
		Regds,
		Swapnajit


________________________________

			From: owner-sv-ec@eda.org
[mailto:owner-sv-ec@eda.org] On Behalf Of Swapnajit Chakraborti
			Sent: Thursday, July 31, 2008 5:39 PM
			To: sv-ec@eda.org
			Subject: [sv-ec] Query on transition bins
			
			
			Please refer to the following excerpt from
draft6, section 18.5.1.
			 
			
			"The nonconsecutive repetition is specified
using: trans_item [= repeat_range]. The required number of
			
			occurrences of a particular value is specified
by the repeat_range. Any number of sample points can occur
			
			before the first occurrence of the specified
value and any number of sample points can occur between each
			
			occurrence of the specified value. The
transition following the nonconsecutive repetition may occur after
			
			any number of sample points so long as the
repetition value does not occur again."
			
			 
			
			Is "any number" stands for zero or more number
of occurrences?
			
			 
			
			Regds,
			
			Swapnajit.

			-- 
			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
<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 Tue Aug 5 23:46:27 2008

This archive was generated by hypermail 2.1.8 : Tue Aug 05 2008 - 23:47:05 PDT