> 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