From bffe6580261ab8f06011e910f0b6e57e071cf0ab Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 25 Aug 2018 07:53:17 -0400 Subject: [PATCH] Commentary --- bin/verilator | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/verilator b/bin/verilator index 23de61cd8..12c9897ff 100755 --- a/bin/verilator +++ b/bin/verilator @@ -2322,6 +2322,8 @@ $display/$stop/$finish are delayed until the end of an eval() call in order to maintain ordering between threads. This may result in additional tasks completing after the $stop or $finish. +=over 4 + If using --coverage, the coverage routines are fully thread safe. If using --dpi, Verilator assumes pure DPI imports are thread safe,