Re: [sv-ec] question mantis 1447

From: Michael Burns <michael.burns_at_.....>
Date: Mon Feb 04 2008 - 09:09:11 PST
I agree this is somewhat confusing; this might be because I was confused 
when I wrote it...

By "variable data types", I meant those data types which are allowed for 
variable declarations. However, as Dave points out this is meaningless, 
since variables can be of any data type. My mistake was in thinking that 
arrays "contain" nets or variables. I would prefer that the sentence in 
7.4.2 be much more like the original text:

"Unpacked arrays can be made of any data type."

This section is only describing the unpacked array _type_; any 
additional restrictions due to storage class ought to be described in 
the definition of that storage class (as you both point out, in 6.6).

--Mike

Bresticker, Shalom wrote:
> 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* <http://www.mailscanner.info/>, and is
> believed to be clean. *


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Feb 4 09:13:28 2008

This archive was generated by hypermail 2.1.8 : Mon Feb 04 2008 - 09:14:02 PST