diff --git a/bin/verilator b/bin/verilator index f88a03e14..6baaa81ac 100755 --- a/bin/verilator +++ b/bin/verilator @@ -455,11 +455,11 @@ ARGUMENTS"> for the detailed description of these arguments. +verilator+debug Enable debugging +verilator+debugi+ Enable debugging at a level +verilator+help Display help - +verilator+prof+threads+file+I Set profile filename - +verilator+prof+threads+start+I Set profile starting point - +verilator+prof+threads+window+I Set profile duration - +verilator+rand+reset+I Set random reset technique - +verilator+seed+I Set random seed + +verilator+prof+threads+file+ Set profile filename + +verilator+prof+threads+start+ Set profile starting point + +verilator+prof+threads+window+ Set profile duration + +verilator+rand+reset+ Set random reset technique + +verilator+seed+ Set random seed +verilator+noassert Disable assert checking +verilator+V Verbose version and config +verilator+version Show version and exit