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/restrict1.vhdl | |
| 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/restrict1.vhdl')
0 files changed, 0 insertions, 0 deletions