diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:21:00 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-07-04 18:21:00 +0200 |
| commit | 3b896eb128469c2c5fad8946d10db94c661999ad (patch) | |
| tree | d2bafa3ae0554b7da950f41fa4dee4db27c2c6b7 /src/synth/netlists-disp_vhdl.adb | |
| parent | 490a0195485d547f1ac07e2d7fbb15eed6dbfc68 (diff) | |
| download | ghdl-3b896eb128469c2c5fad8946d10db94c661999ad.tar.gz ghdl-3b896eb128469c2c5fad8946d10db94c661999ad.tar.bz2 ghdl-3b896eb128469c2c5fad8946d10db94c661999ad.zip | |
netlists: add assume gate.
Diffstat (limited to 'src/synth/netlists-disp_vhdl.adb')
| -rw-r--r-- | src/synth/netlists-disp_vhdl.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/netlists-disp_vhdl.adb b/src/synth/netlists-disp_vhdl.adb index 644ae0ce1..a7999ba0c 100644 --- a/src/synth/netlists-disp_vhdl.adb +++ b/src/synth/netlists-disp_vhdl.adb @@ -607,6 +607,9 @@ package body Netlists.Disp_Vhdl is end; when Id_Assert => Disp_Template (" assert \i0 = '1' severity error;" & NL, Inst); + when Id_Assume => + Disp_Template + (" assert \i0 = '1' severity warning; -- assume" & NL, Inst); when others => Disp_Instance_Gate (Inst); end case; |