replica
/
firesim
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make config_runtime.ini comment clearer and add to manager docs

This commit is contained in:
Howard Mao 2020-08-06 13:19:54 -07:00
parent 684579efac
commit 8e85f4642d
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
deploy/sample-backup-configs/sample_config_runtime.ini
View File

@ -57,9 +57,10 @@ suffixtag=
# In general, this is not required to produce deterministic simulations on
# target machines running linux. Enable if you observe simulation non-determinism.
zerooutdram=no
# For designs built with synthesized assertions, enabling (=no) prints
# assertion message and terminates simulation if assertion fires.
# Disabling (=yes) ignores assertion firing and continues simulation.
# If disable_synth_asserts=no, simulation will print assertion message and
# terminate simulation if synthesized assertion fires.
# If disable_synth_asserts=yes, simulation ignores assertion firing and
# continues simulation.
disable_synth_asserts=no
[synthprint]

7
docs/Advanced-Usage/Manager/Manager-Configuration-Files.rst
View File

@ -245,6 +245,13 @@ This process takes 2-5 minutes. In general, this is not required to produce
deterministic simulations on target machines running linux, but should be
enabled if you observe simulation non-determinism.
``disable_synth_asserts``
"""""""""""""""""""""""""""""
Set this to ``yes`` to make the simulation ignore synthesized assertions when
they fire. Otherwise, simulation will print the assertion message and terminate
when an assertion fires.
.. _config-build:
``config_build.ini``