diff options
| author | Pepijn de Vos <pepijndevos@gmail.com> | 2019-08-07 04:20:14 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-08-07 04:20:14 +0200 |
| commit | 0331772c3ef05bad40b748542939ccafab2a9c68 (patch) | |
| tree | ca0dd705571b8a031c02b6934d9e9fe85151b042 /python/libghdl/thin/vhdl/tokens.py | |
| parent | ce416ec62d20f1a592835efe5cbe49856d7085a2 (diff) | |
| download | ghdl-0331772c3ef05bad40b748542939ccafab2a9c68.tar.gz ghdl-0331772c3ef05bad40b748542939ccafab2a9c68.tar.bz2 ghdl-0331772c3ef05bad40b748542939ccafab2a9c68.zip | |
Add support for PSL assumptions, used in formal verification (#880)
* vhdl: make the parser understand PSL assume
* assume does not actually have report according to the spec. Just a property.
* add SPL assume to semantic analysis
* canonicalise PSL assume
* add assume to annotations
* add PSL assume to simulation code
* statement -> directive
* add assume to translation files
* update ticked24 testcase
* correctly parse assume
* add assume testcase
* refactor chunk of duplicated code
Diffstat (limited to 'python/libghdl/thin/vhdl/tokens.py')
| -rw-r--r-- | python/libghdl/thin/vhdl/tokens.py | 47 |
1 files changed, 24 insertions, 23 deletions
diff --git a/python/libghdl/thin/vhdl/tokens.py b/python/libghdl/thin/vhdl/tokens.py index 20cf3b7dd..2d5655001 100644 --- a/python/libghdl/thin/vhdl/tokens.py +++ b/python/libghdl/thin/vhdl/tokens.py @@ -180,26 +180,27 @@ class Tok: Psl_Property = 176 Psl_Sequence = 177 Psl_Endpoint = 178 - Psl_Cover = 179 - Psl_Restrict = 180 - Psl_Restrict_Guarantee = 181 - Psl_Const = 182 - Psl_Boolean = 183 - Inf = 184 - Within = 185 - Abort = 186 - Before = 187 - Before_Em = 188 - Before_Un = 189 - Before_Em_Un = 190 - Until_Em = 191 - Until_Un = 192 - Until_Em_Un = 193 - Always = 194 - Never = 195 - Eventually = 196 - Next_A = 197 - Next_E = 198 - Next_Event = 199 - Next_Event_A = 200 - Next_Event_E = 201 + Psl_Assume = 179 + Psl_Cover = 180 + Psl_Restrict = 181 + Psl_Restrict_Guarantee = 182 + Psl_Const = 183 + Psl_Boolean = 184 + Inf = 185 + Within = 186 + Abort = 187 + Before = 188 + Before_Em = 189 + Before_Un = 190 + Before_Em_Un = 191 + Until_Em = 192 + Until_Un = 193 + Until_Em_Un = 194 + Always = 195 + Never = 196 + Eventually = 197 + Next_A = 198 + Next_E = 199 + Next_Event = 200 + Next_Event_A = 201 + Next_Event_E = 202 |