EventExpand pass generates code which doesn't type-check

[eschkufz]

Overview

The EventExpand pass replaces wildcard event controls with the set of variables that are read within the enclosing timing control statement. When one of those variables is an array, the pass places a full part-select in the event control.

For example:

reg[31:0] r[1:0][1:0];
reg r10;

always @* begin
  r10 <= r[1][0];
end

Becomes

always @(r[1:0][1:0]) begin
  r10 <= r[1][0];
end

When it should become

always @(r) begin
  r10 <= r[1][0];
end

Deliverables

• [x] Bug fix