From 8e85f4642d8001a99517dbb4dfbf4554eaf41e24 Mon Sep 17 00:00:00 2001 From: Howard Mao Date: Thu, 6 Aug 2020 13:19:54 -0700 Subject: [PATCH] make config_runtime.ini comment clearer and add to manager docs --- deploy/sample-backup-configs/sample_config_runtime.ini | 7 ++++--- .../Advanced-Usage/Manager/Manager-Configuration-Files.rst | 7 +++++++ 2 files changed, 11 insertions(+), 3 deletions(-) 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``