diff --git a/deploy/sample-backup-configs/sample_config_runtime.ini b/deploy/sample-backup-configs/sample_config_runtime.ini
index cc1e88db..34d690b2 100644
--- a/deploy/sample-backup-configs/sample_config_runtime.ini
+++ b/deploy/sample-backup-configs/sample_config_runtime.ini
@@ -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]
diff --git a/docs/Advanced-Usage/Manager/Manager-Configuration-Files.rst b/docs/Advanced-Usage/Manager/Manager-Configuration-Files.rst
index 04e55571..a9214fd5 100644
--- a/docs/Advanced-Usage/Manager/Manager-Configuration-Files.rst
+++ b/docs/Advanced-Usage/Manager/Manager-Configuration-Files.rst
@@ -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``