diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-07-31 07:38:34 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-07-31 07:38:34 +0200 |
commit | 9efb27060dc5ca23493fb3d3aab6d455049a5790 (patch) | |
tree | 5b64e68246673b90f54cf01b6aa90bfa79e7b001 /src/ghdldrv | |
parent | 5a5419cf64271dc3acfb84affd22c9f7cb4aaa46 (diff) | |
download | ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.tar.gz ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.tar.bz2 ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.zip |
synth: add --no-assert-cover option. Fix #1414
Diffstat (limited to 'src/ghdldrv')
-rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index 8c00776e0..8051c8838 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -120,6 +120,7 @@ package body Ghdlsynth is P (" -gNAME=VALUE Override the generic NAME of the top unit"); P (" --vendor-library=NAME Any unit from library NAME is a black boxe"); P (" --no-formal Neither synthesize assert nor PSL"); + P (" --no-assert-cover Cover PSL assertion activation"); end Disp_Long_Help; procedure Decode_Option (Cmd : in out Command_Synth; @@ -140,6 +141,10 @@ package body Ghdlsynth is Synth.Flags.Flag_Formal := False; elsif Option = "--formal" then Synth.Flags.Flag_Formal := True; + elsif Option = "--no-assert-cover" then + Synth.Flags.Flag_Assert_Cover := False; + elsif Option = "--assert-cover" then + Synth.Flags.Flag_Assert_Cover := True; elsif Option = "--top-name=hash" then Cmd.Top_Encoding := Name_Hash; elsif Option = "--top-name=asis" then |