[sv-ec] Re: [sv-ac] Unclear text in 'Functional coverage'

From: Surya Pratik Saha <spsaha_at_.....>
Date: Thu Jan 08 2009 - 20:16:14 PST
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