Dave, I agree with you that this part of the proposal is worded in a confusing way. But regarding 6.6, we already made that change in Mantis 2092. A sentence could be added to 7.4.2 like, "However, net arrays shall have a fixed-size (see 6.6)." Note that even net fixed-size arrays can not have all data types. For example, 2-state data types and reals are not allowed. Shalom ________________________________ From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Rich, Dave Sent: Sunday, February 03, 2008 8:05 PM To: sv-ec@server.eda.org Subject: [sv-ec] question mantis 1447 I am reviewing the revised sentence in section 7.4.2 of the proposal: "Unpacked fixed-size arrays can be made of any data type, and whereas dynamic arrays, associative arrays and queues can only be made of variable data types." The use of the word "variable" is confusing on a few accounts: 1. "Variable" is the antonym of "fixed," and quickly read, makes me think that you are trying to restrict dynamic arrays to being made up of variable-sized elements 2. The data types allowed for group of data storage called Variables is un-restricted, whereas the data types allowed for group of data storage called Nets is restricted, so what is being restricted here? 3. It's not possible to specify the element type of an array as belonging to variables or nets. May I suggest making a friendly amendment and leaving that sentence in its original form, an making a small modification in 6.6 Certain restrictions apply to the data type of a net. A valid data type for a net shall be one of the following: a) A 4-state integral type, including a packed array or packed structure. b) An fixed-size unpacked array or unpacked structure, where each element has a valid data type for a net. Dave David Rich Verification Technologist Design Verification & Test Division Mentor Graphics Corporation dave_rich@mentor.com Office: 408 487-7206 Cell: 510 589-2625 -- This message has been scanned for viruses and dangerous content by MailScanner <http://www.mailscanner.info/> , and is believed to be clean. --------------------------------------------------------------------- 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 Sun Feb 3 10:40:09 2008
This archive was generated by hypermail 2.1.8 : Sun Feb 03 2008 - 10:40:21 PST