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 allowed as long as their longest static prefixes do not overlap (see 11.5.3). For example, an unpacked structure or array can have one bit assigned by an always_comb procedure and another bit assigned continuously or by another always_comb procedure, etc. See 6.5 for more details.