RE: [sv-bc] Mantis 1067 (out-of-bounds access to arrays)

I like the proposal, but I did not yet verify that it deals with all the issues in 1067 (excluding nets, which the proposal does not purport to cover).

However, I found a small problem with the text coloring.

The first paragraph in 11.5.1 in the current LRM is:

"Bit-selects extract a particular bit from a vector, packed array, packed structure, parameter, or concatenation. The bit can be addressed using an expression that shall be evaluated in a self-determined context. If the bitselect is out of the address bounds or the bit-select is x or z, then the value returned by the refernce shall be x. A bit-select or part-select of a scalar, or of a real variable or real parameter, shall be illegal."

The proposal changes the text to:

"Bit-selects extract a particular bit from a vector, packed array, packed structure, parameter, or concatenation. The bit can be addressed using an expression that shall be evaluated in a self-determined context. If the bit-select address is invalid (it is out of bounds or has one or more x or z bits), then the value returned by the reference shall be x for 4-state and 0 for 2-state values. A bit-select or part-select of a scalar, or of a real variable or real parameter, shall be illegal."

The words "is invalid" also need to be blue, as they are added text.

Regards,
Shalom
---------------------------------------------------------------------
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.