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/translate/trans-rtis.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/translate/trans-rtis.ads')
-rw-r--r-- | src/vhdl/translate/trans-rtis.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/vhdl/translate/trans-rtis.ads b/src/vhdl/translate/trans-rtis.ads index c272bf7e9..a1b5b456b 100644 --- a/src/vhdl/translate/trans-rtis.ads +++ b/src/vhdl/translate/trans-rtis.ads @@ -68,6 +68,7 @@ package Trans.Rtis is Ghdl_Rtik_Attribute_Stable : O_Cnode; Ghdl_Rtik_Psl_Assert : O_Cnode; Ghdl_Rtik_Psl_Cover : O_Cnode; + Ghdl_Rtik_Psl_Endpoint : O_Cnode; Ghdl_Rtik_Error : O_Cnode; -- RTI types. |