Re: [sv-ec] Query on transition bins

From: David Scott <david_scott_at_.....>
Date: Tue Aug 05 2008 - 15:29:35 PDT

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, and is
believed to be clean.

--
This message has been scanned for viruses and
dangerous content by MailScanner, 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 15:30:20 2008