diff --git a/bin/verilator b/bin/verilator index 371e5be1c..618216542 100755 --- a/bin/verilator +++ b/bin/verilator @@ -3055,13 +3055,14 @@ Simply use a different register for the flop: always @* foo[0] = foo_flopped[0]; always @* foo[1] = ... -It is also possible to disable this error when one of the assignments is -inside a public task. - This is not illegal in SystemVerilog, but a violation of good coding practice. Verilator reports this as an error, because ignoring this warning may make Verilator simulations differ from other simulators. +It is generally safe to disable this error when one of the assignments is +inside a public task, or when the blocked and non-blocking assignments have +non-overlapping bits and structure members. + =item BLKSEQ This indicates that a blocking assignment (=) is used in a sequential