History

Subject changed from incorrect handling of index out of declared bound to Incorrect handling of index out of declared bound on multi-dim packed array

Category set to WrongRuntimeResult

Status changed from New to Confirmed

This occurs because Verilator flattens the multidimensional packed array into a single dimension and so has lost the bounds information far before it changes the code to suppress assignments that are out-of-bounds. This won't be quick to fix.