diff options
| author | tmeissner <programming@goodcleanfun.de> | 2020-12-31 22:28:43 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-02 08:35:20 +0100 |
| commit | 36ae5c1f75b11a36fad9ef95881a99128db19f26 (patch) | |
| tree | c3e5c7fe0ea638756cc25c24996b04e48ab96a35 /src/ghdldrv/ghdlsynth.adb | |
| parent | b423d31131ccc695de3b3015b91307e9e72ae821 (diff) | |
| download | ghdl-36ae5c1f75b11a36fad9ef95881a99128db19f26.tar.gz ghdl-36ae5c1f75b11a36fad9ef95881a99128db19f26.tar.bz2 ghdl-36ae5c1f75b11a36fad9ef95881a99128db19f26.zip | |
synth: add option to treat asserts as assumes and vice-versa
Diffstat (limited to 'src/ghdldrv/ghdlsynth.adb')
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index 94b51c3ab..8bc0250ba 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -128,6 +128,10 @@ package body Ghdlsynth is P (" Neither synthesize assert nor PSL"); P (" --no-assert-cover"); P (" Cover PSL assertion activation"); + P (" --assert-assumes"); + P (" Treat all PSL asserts like PSL assumes"); + P (" --assume-asserts"); + P (" Treat all PSL assumes like PSL asserts"); end Disp_Long_Help; procedure Decode_Option (Cmd : in out Command_Synth; @@ -152,6 +156,10 @@ package body Ghdlsynth is Synth.Flags.Flag_Assert_Cover := False; elsif Option = "--assert-cover" then Synth.Flags.Flag_Assert_Cover := True; + elsif Option = "--assert-assumes" then + Synth.Flags.Flag_Assert_As_Assume := True; + elsif Option = "--assume-asserts" then + Synth.Flags.Flag_Assume_As_Assert := True; elsif Option = "--top-name=hash" then Cmd.Top_Encoding := Name_Hash; elsif Option = "--top-name=asis" then |