[sv-bc] contiguity

The LRM uses 'contiguous' in more than one sense, confusingly,
especially with respect to unpacked arrays.

7.4.1 says, 
"A packed array is a mechanism for subdividing a vector into subfields
that can be conveniently accessed as
array elements. Consequently, a packed array is guaranteed to be
represented as a contiguous set of bits. An
unpacked array may or may not be so represented."

This implies that unpacked array elements may not be contiguous.

11.5.1 says,
"Several contiguous bits in a vector net, vector variable, packed array,
packed structure or parameter can be
addressed and are known as part-selects."

7.4.6 also says,
"The term part-select refers to a selection of one or more contiguous
bits of a single-dimension packed array."

Then the very same 7.4.6 says,
"The term slice refers to a selection of one or more contiguous elements
of an array."

7.4.9 says,
"Dynamic arrays are useful for dealing with contiguous collections of
variables whose number changes
dynamically."

Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.