RE: [sv-ec] Question Regrading the Open value range list with Covergroup bins

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Tue Apr 08 2008 - 07:23:30 PDT
See Mantis 990.

Shalom 

> -------- Original Message --------
> Subject: Re: [sv-ec] Question Regrading the Open value range 
> list with Covergroup bins
> Date: Mon, 07 Apr 2008 13:58:23 +0530
> From: Saurabh Sharma <saurabhs@cadence.com>
> To: Steven Sharp <sharp@cadence.com>, sv-ec@eda.org
> CC: Neil.Korpusik@Sun.COM, saurabhs@cadence.com
> 
> Hi Steven,
> 
> Thanks for your comments. I complete agree with you.
> 
> The only issue why i bought this in to notice is that the BNF 
> may mislead users to create erroneous scenario as shown below
> 
> module example;
>     logic clk;
>     int tmp;
> 
>    covergroup cg2 @(posedge clk);
>     ce: coverpoint var1 {
>                 bins  b = { [tmp : 100]
> };
>                  }
>         endgroup :cg2
> 
>         cg2 cg2_inst = new;
> 
> endmodule
> 
> This  of course is against what is expected by the LRM.
> 
> Thanks
> Saurabh Sharma
> 
> 
> Steven Sharp wrote:
> 
> >>         " The open_range_list used to specify the set of values 
> >> associated
> >>    
> >>
> >with
> >  
> >
> >>           a bin shall be *constant* *expressions* (see 11.2.1), 
> >> instance
> >>    
> >>
> >constants
> >  
> >
> >>           (for classes only), or non-ref arguments to the 
> coverage group."
> >>
> >>        But the  BNF is as shown below.
> >>
> >>       open_range_list ::= open_value_range { , open_value_range }
> >>       open_value_range ::= value_range
> >>       value_range ::= expression | [ expression : expression ]
> >>
> >>      I feel that here it should be "constant_expression" 
> and not "expression"
> >>      and should be corrected.
> >>    
> >>
> >
> >If the BNF only allowed constant_expressions, then the 
> language would 
> >only allow constant expressions.  But from the text you quoted, it 
> >allows instance constants for classes, and non-ref arguments 
> to the coverage group.
> >To allow these, the BNF must allow them.
> >
> >It might be possible to restrict this a little more with the 
> BNF, but 
> >it is simpler to use the general production and restrict it with the 
> >semantic rules you quoted.
> >
> >Steven Sharp
> >sharp@cadence.com
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Apr 8 07:28:46 2008

This archive was generated by hypermail 2.1.8 : Tue Apr 08 2008 - 07:29:29 PDT