diff options
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 |