From 9efb27060dc5ca23493fb3d3aab6d455049a5790 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 31 Jul 2020 07:38:34 +0200 Subject: synth: add --no-assert-cover option. Fix #1414 --- src/ghdldrv/ghdlsynth.adb | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/ghdldrv') 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 -- cgit v1.2.3