diff options
author | Tristan Gingold <tgingold@free.fr> | 2016-03-17 05:03:36 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2016-03-18 05:22:04 +0100 |
commit | 73a6ed8e5e982034920d8c9fe95faddefdcffa43 (patch) | |
tree | 14da67e29b2452272a908e2145e9c87df84a53ef /src/grt/grt-rtis.ads | |
parent | d0b0f30b71d77e2dbf9952e9accd8e50e69fc731 (diff) | |
download | ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.gz ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.tar.bz2 ghdl-73a6ed8e5e982034920d8c9fe95faddefdcffa43.zip |
PSL: add counters, generate rti and add --psl-report
Diffstat (limited to 'src/grt/grt-rtis.ads')
-rw-r--r-- | src/grt/grt-rtis.ads | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/grt/grt-rtis.ads b/src/grt/grt-rtis.ads index 7a08ae0ff..06e09647c 100644 --- a/src/grt/grt-rtis.ads +++ b/src/grt/grt-rtis.ads @@ -55,7 +55,7 @@ package Grt.Rtis is Ghdl_Rtik_Generic, Ghdl_Rtik_Alias, - Ghdl_Rtik_Guard, + Ghdl_Rtik_Guard, -- 20 Ghdl_Rtik_Component, Ghdl_Rtik_Attribute, Ghdl_Rtik_Type_B1, -- Enum @@ -67,7 +67,7 @@ package Grt.Rtis is Ghdl_Rtik_Type_F64, Ghdl_Rtik_Type_P32, - Ghdl_Rtik_Type_P64, + Ghdl_Rtik_Type_P64, -- 30 Ghdl_Rtik_Type_Access, Ghdl_Rtik_Type_Array, Ghdl_Rtik_Type_Record, @@ -79,7 +79,7 @@ package Grt.Rtis is Ghdl_Rtik_Subtype_Record, Ghdl_Rtik_Subtype_Access, - Ghdl_Rtik_Type_Protected, + Ghdl_Rtik_Type_Protected, -- 40 Ghdl_Rtik_Element, Ghdl_Rtik_Unit64, Ghdl_Rtik_Unitptr, @@ -87,9 +87,14 @@ package Grt.Rtis is Ghdl_Rtik_Attribute_Quiet, Ghdl_Rtik_Attribute_Stable, + Ghdl_Rtik_Psl_Assert, + Ghdl_Rtik_Psl_Cover, Ghdl_Rtik_Error); for Ghdl_Rtik'Size use 8; + subtype Ghdl_Rtiks_Psl is + Ghdl_Rtik range Ghdl_Rtik_Psl_Assert .. Ghdl_Rtik_Psl_Cover; + type Ghdl_Rti_Depth is range 0 .. 255; for Ghdl_Rti_Depth'Size use 8; |