luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Change `--converge-limit` default to 10000 (#7209). 

Fixes #7209.
This commit is contained in:
Wilson Snyder 2026-03-07 09:05:37 -05:00
parent 68d6dd7eee
commit 3097df46fa
10 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changes
View File

@ -28,6 +28,7 @@ Verilator 5.047 devel
* Add --func-recursion-depth CLI option (#7175) (#7179).
* Improve assignment-compatibility type check (#2843) (#5666) (#7052). [Pawel Kojma, Antmicro Ltd.]
* Change array tracing to dump left index to right index (#7205). [Geza Lore, Testorrent USA, Inc.]
* Change `--converge-limit` default to 10000 (#7209).
* Optimize size of trace declaration object code (#7150). [Szymon Gizler, Antmicro Ltd.]
* Optimize function call return value temporaries (#7152). [Geza Lore, Testorrent USA, Inc.]
* Optimize conditional merging across some impure statements (#7159). [Geza Lore, Testorrent USA, Inc.]

2
docs/gen/ex_DIDNOTCONVERGE_msg.rst
View File

@ -2,4 +2,4 @@
.. code-block::
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] a)
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 10000 tries

2
docs/gen/ex_DIDNOTCONVERGE_nodbg_msg.rst
View File

@ -1,4 +1,4 @@
.. comment: generated by t_lint_didnotconverge_nodbg_bad
.. code-block::
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 10000 tries

2
docs/guide/exe_verilator.rst
View File

@ -276,7 +276,7 @@ Summary:
.. option:: --converge-limit <loops>
Rarely needed. Specifies the maximum number of runtime iterations before
creating a model failed to converge error. Defaults to 100.
creating a model failed to converge error. Defaults to 10000.
.. option:: --coverage

2
src/V3Options.h
View File

@ -313,7 +313,7 @@ private:
int m_buildJobs = -1; // main switch: --build-jobs, -j
int m_coverageExprMax = 32; // main switch: --coverage-expr-max
int m_convergeLimit = 100; // main switch: --converge-limit
int m_convergeLimit = 10000; // main switch: --converge-limit
int m_coverageMaxWidth = 256; // main switch: --coverage-max-width
int m_debugAllocRandom = 0; // main switch: --debug-alloc-random <seed>
int m_expandLimit = 256; // main switch: --expand-limit

2
test_regress/t/t_lint_didnotconverge_bad.out
View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] a)
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 10000 tries
Aborting...

2
test_regress/t/t_lint_didnotconverge_nodbg_bad.out
View File

@ -1,2 +1,2 @@
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 10000 tries
Aborting...

2
test_regress/t/t_unopt_converge_initial_run_bad.out
View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] x)
%Error-DIDNOTCONVERGE: t/t_unopt_converge_initial.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge_initial.v:7: Settle region did not converge after '--converge-limit' of 10000 tries
Aborting...

2
test_regress/t/t_unopt_converge_ndbg_bad.out
View File

@ -1,2 +1,2 @@
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 10000 tries
Aborting...

2
test_regress/t/t_unopt_converge_print_bad.out
View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] x)
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 10000 tries
Aborting...