Mantis 1360

P1800-2008/Draft 4

Independent elements of a variable can be written by different always_comb processes.

In Section 9.2.2.2

CHANGE

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

TO

The variables written on the left-hand side of assignments shall not be written to by any other process. However, multiple assignments made to independent elements of a variable are examined individually. Thus, for example, an unpacked structure or array can have one element assigned by an always_comb process and another element assigned continuously or by another always_comb process, etc. See 6.5 for more details.