Re: [sv-ec] Typo in coverage section of Draft 6

Arturo,

This is Mantis 1655 (http://eda.org/svdb/view.php?id=1655) and the 
"i[1]" is correct.  This was approved by the SV-EC.

The reasoning is that cross products involving "i[0]" are already 
covered by i_zero because that cross bin was specified with the select 
expression involving "intersect { 0 }".  The point of the Mantis was to 
specify that automatically-generated bins are also within the cross, but 
only for those cross products not already specified by the user-defined 
cross bins.  That leaves the two automatically-generated cross product 
bins involving "i[1]".

-- David S



Arturo Salz wrote:
> There is a typo in the example of section 18.6 (page 468) of draft 6.
>
> The i[1] is incorrect, it should be i[0]. 
>
> The explanation of cross-products should be changed
>
> FROM
>
> Cross x2 has the following bins:
>     i_zero
>         <i[1],j[0]>
>         <i[1],j[1]>
>
> TO
>
> Cross x2 has the following bins:
>     i_zero
>         <i[0],j[0]>
>         <i[0],j[1]>
>
> I believe this is just a typo. This is Mantis 2428.
>
> 	Arturo
>
>
>   


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