diff options
| author | Pepijn de Vos <pepijndevos@gmail.com> | 2019-08-13 15:31:45 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-08-13 15:31:45 +0200 |
| commit | 94f3226f10546f68d556b6567c5b0736456e7948 (patch) | |
| tree | a4cac09e41722d187169a4de1d691762993ca38a /testsuite/synth/psl01 | |
| parent | 7e91b1419cde2a00c9288c02cda256a054ed6a3f (diff) | |
| download | ghdl-94f3226f10546f68d556b6567c5b0736456e7948.tar.gz ghdl-94f3226f10546f68d556b6567c5b0736456e7948.tar.bz2 ghdl-94f3226f10546f68d556b6567c5b0736456e7948.zip | |
Support for PSL assert and assume in synthesis (#892)
* initial support for PSL assert and assume
* add support for true, false, and, or in psl synth
* update testsuite with new psl things
Diffstat (limited to 'testsuite/synth/psl01')
| -rw-r--r-- | testsuite/synth/psl01/hello.vhdl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/synth/psl01/hello.vhdl b/testsuite/synth/psl01/hello.vhdl index fcf517757..6f5e40735 100644 --- a/testsuite/synth/psl01/hello.vhdl +++ b/testsuite/synth/psl01/hello.vhdl @@ -24,5 +24,6 @@ begin --psl default clock is clk; --psl restrict {rst; (not rst)[*]}; - assert val /= 5 or rst = '1' severity error; + --psl assert always val /= 5 or rst = '1'; + --psl assume always val < 50; end behav; |