Re: [sv-ec] Transition bins of length 1 -> disallowed. New Mantis 1787

Hi Doug,

Isn't this already covered by the following text in the current LRM?
From sub-clause 18.4.1

"A trans_list specifies one or more sets of ordered value transitions of
the coverage point. A single value transition is thus specified as follows:"

   value1 => value2

Neil




> Clause: 18.4.1
> 
> At the end of Section 18.4.1, ADD the following new paragraph:
>   
> 
> Transition bin specifications of length 1 are disallowed.  These are 
> transition bin specifications containing a trans_set production of a 
> single range_value, e.g.,  "(0)" or "([0:1])", or a single range_value 
> with a repeat_range evaluating to 1, e.g., "(0[*1])" or "([0:1][*1])".
> 
>  



Warmke, Doug wrote On 04/21/07 20:54,:
> Hello SV-EC,
> 
> I just entered a new Mantis with a simple proposal to disallow
> transition bins with only one value (length 1).  That doesn't really
> make sense, since with only one value there is no transition possible.
> 
> http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001787
> 
> Regards,
> Doug
> 



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.