RE: [sv-ec]E-mail Vote: Closes 12am PST December 15 2007, and Minutes of Dec3,10 on the web,

From: Steven Sharp <sharp_at_.....>
Date: Fri Dec 14 2007 - 16:53:30 PST
>  section b) 
>      958, 1447,
>     1858 [contains two proposals]
>     2055, 2137, 2181 2227

> Section a)
>CLOSE following mantis items, covered by 1702
> 412  ___ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000412        
>
> 516  ___ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000516        
>
> 517  ___ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000517        
>
> 518  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000518        
>
> 518  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000519        
>
> 520  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000520        
>
> 521  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000521        
>
> 522  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000522        
>
> 801  _X_ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000801        
>
> 974  _X_ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000974        
> 
>
> 958  _X_ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=000958        
>
> 1447  ___ Yes   _X_ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0001447        

I have a problem with the text for 7.4 that says

"Unpacked arrays are formed from any variable data type, including other
packed or unpacked arrays (see 7.4.5).  Unpacked fixed-size arrays may
also be formed from net data types."

This text suggests an incorrect conceptual model for variables and nets.
It suggests that a variable of array type has an element type (i.e. a
"variable data type") that is somehow different from the element type of
a net of array type (i.e. a "net data type").  It suggests that a net is
somehow a data type, and a net array is an array of those.  This is
incorrect.  A variable and a net can be declared with the exact same array
data type.  Nets are restricted to a subset of the types allowed for
variables, but then has the same data type as a variable of that type.

I am not sure how this text should be fixed, since I am not sure why it
was included.  One possible solution would be to drop the word "variable"
from the first sentence, and then drop the second sentence about nets
entirely.

Depending on the purpose of those sentences, it might make sense to add
new sentences.  Perhaps something like: "Any type of array is allowed as
the data type of a variable.  Only fixed-size arrays are allowed as the
data type of a net."

The wording is a little difficult, since we don't want to say that a
net must be a fixed-size array.  We want to say that if it is an array,
it must be a fixed-size one.  Alternately, we could say that a net shall
not be a dynamic array, associative array, or queue.  But shouldn't this
really be stated in 6.6?  That section says that a net can be an unpacked
array, but should really say a fixed-size unpacked array.


> 1858  [Multiple proposal files]
>  1858-randomize_with_syntax.htm       ___ Yes   ___ No  
>  1858_local.pdf                       ___ Yes   ___ No     
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0001858        

I am abstaining on these because I have not been involved enough to
understand the merits of each.

> 2055  _X_ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0002055        
> 
> 2137  _X_ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0002137        
> 
> 2181  ___ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0002181        

Abstaining, since I haven't thought enough about it.  I am not
happy with the inability to return multiple values for repeated
productions.  At the same time, it seems that something needs
to be defined.

> 2227  _X_ Yes   ___ No  
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0002227        

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat Dec 15 04:50:51 2007

This archive was generated by hypermail 2.1.8 : Sat Dec 15 2007 - 04:51:14 PST