diff --git a/bin/verilator b/bin/verilator index 64a41305c..d38058f77 100755 --- a/bin/verilator +++ b/bin/verilator @@ -308,6 +308,7 @@ detailed descriptions of these arguments. +1800-2009ext+ Use SystemVerilog 2009 with file extension +1800-2012ext+ Use SystemVerilog 2012 with file extension +1800-2017ext+ Use SystemVerilog 2017 with file extension + +1800-2023ext+ Use SystemVerilog 2023 with file extension --assert Enable all assertions --assert-case Enable unique/unique0/priority case related checks --autoflush Flush streams after all $displays @@ -437,7 +438,7 @@ detailed descriptions of these arguments. --no-stop-fail Do not call $stop when assertion fails --structs-packed Convert all unpacked structures to packed structures -sv Enable SystemVerilog parsing - +systemverilogext+ Synonym for +1800-2017ext+ + +systemverilogext+ Synonym for +1800-2023ext+ --threads Enable multithreading --threads-dpi Enable multithreaded DPI --threads-max-mtasks Tune maximum mtask partitioning