#267 Memory reads in part selects of non-blocking assignments

[Trevor Williams]

Memory reads in part-selects of LHS expressions in non-blocking assignments are not indicated as read in memory coverage.

Example:

reg [3:0] a[0:1];
reg [15:0] b;

initial begin
a[0] = 4'h0;
#5;
b[a[0]] = 1'b0;
end

In this example, element a[0] is not marked as read when it should be.

[Trevor Williams]

Attaching a bug patch that fixes this issue. This fix will be generally available in the 0.7.4 stable release of Covered.

[Trevor Williams]

Bug fix patch

[SourceForge Robot]

This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).