diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-03-22 05:34:06 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-03-22 05:44:49 +0100 |
| commit | db9df06f901abe21976ae8f5d3b680965daef70b (patch) | |
| tree | 7a5a5d9a2485c9fb0b593dd1f25f5b96defbbb34 /src/vhdl/sem_psl.ads | |
| parent | 89cff67d5cf64c46818043e269c1d9f56a2ac149 (diff) | |
| download | ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.tar.gz ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.tar.bz2 ghdl-db9df06f901abe21976ae8f5d3b680965daef70b.zip | |
PSL: add clocked SERE, make endpoints visible from VHDL.
Diffstat (limited to 'src/vhdl/sem_psl.ads')
| -rw-r--r-- | src/vhdl/sem_psl.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vhdl/sem_psl.ads b/src/vhdl/sem_psl.ads index 482380303..6d2bf75ea 100644 --- a/src/vhdl/sem_psl.ads +++ b/src/vhdl/sem_psl.ads @@ -20,6 +20,7 @@ with Iirs; use Iirs; package Sem_Psl is procedure Sem_Psl_Declaration (Stmt : Iir); + procedure Sem_Psl_Endpoint_Declaration (Stmt : Iir); -- May return a non-psl concurrent assertion statement. function Sem_Psl_Assert_Statement (Stmt : Iir) return Iir; |