[sv-bc] Mantis 1360: 11.2: clarify that separate always_comb's to different variable selects are allowed

I filed Mantis 1360:

11.2 says about always_comb,

"The variables written on the left-hand side of assignments shall not be written to by any other process."

Since in the case of an aggregate, the term 'variable' is sometimes used to refer to the entire aggregate, and a reference to part of it is sometimes called a 'select of the variable', and since some lint tools have rules which issue warnings when you write separate vector bits in separate processes, one might misinterpret 11.2 to forbid that.

11.2 should be clarified to say that it is allowed, similar to the text in 6.7 which says that "Multiple assignments made
to independent elements of a variable are examined individually," etc.

Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6852
+972 54 721-1033
I don't represent Intel