Arturo, Thanks for pointing it out. Actually since it is not lexically possible, so that was source of my confusion - whether LRM wanted to mean something else. So I think the text should be dropped to avoid further confusion from other readers. What do you think? Regards Surya -------- Original Message -------- Subject: Re:[sv-ac] Unclear text in 'Functional coverage' From: Arturo Salz <Arturo.Salz@synopsys.com> To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-ac@eda.org <sv-ac@eda.org>, sv-ec@eda.org <sv-ec@eda.org> Cc: Ishita Ghosh <ighosh@cal.interrasystems.com> Date: Friday, January 09, 2009 12:26:17 AM > Surya, > > You should have addressed this message to sv-ec, which I have CC'd. > > That sentence means exactly what it says: a cross-product can only use cover-points from the same cover-group: > > covergroup C1 @(ev) > v : coverpoint a; > endgroup > > covergroup C2 @(ev1) > coverpoint b; > x : cross C1.v, b; <= use of C1.a is illegal > endgroup > > The restriction may be redundant since I believe the lexical conventions already disallow the above. > > Arturo > > -----Original Message----- > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Surya Pratik Saha > Sent: Wednesday, January 07, 2009 11:56 PM > To: sv-ac@eda.org > Cc: Ishita Ghosh > Subject: [sv-ac] Unclear text in 'Functional coverage' > > Hi, > In '19.6 Defining cross coverage', it is mentioned: > "Attempts to cross items from different coverage groups shall result in > a compiler error." > > I am not clear on the text. One example will help me to get it. > > -- > Regards > Surya > > > > > -- > This message has been scanned for viruses and > dangerous content by MailScanner, and is > believed to be clean. > > > -- > This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com > > > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jan 8 20:17:19 2009
This archive was generated by hypermail 2.1.8 : Thu Jan 08 2009 - 20:19:02 PST