aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_expr.adb
diff options
context:
space:
mode:
authortmeissner <programming@goodcleanfun.de>2020-06-05 13:47:04 +0200
committertgingold <tgingold@users.noreply.github.com>2020-06-06 07:51:38 +0200
commite44cd87182452ce6220b028c62caa1bdbb9c55e3 (patch)
tree5b321c4f3df1ac98254c806617dcad5880a669c7 /src/vhdl/vhdl-sem_expr.adb
parent2b31399a2db58e5480fcd51569f6353609b4219a (diff)
downloadghdl-e44cd87182452ce6220b028c62caa1bdbb9c55e3.tar.gz
ghdl-e44cd87182452ce6220b028c62caa1bdbb9c55e3.tar.bz2
ghdl-e44cd87182452ce6220b028c62caa1bdbb9c55e3.zip
Synthesis of PSL stable() function.
Diffstat (limited to 'src/vhdl/vhdl-sem_expr.adb')
-rw-r--r--src/vhdl/vhdl-sem_expr.adb6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/vhdl/vhdl-sem_expr.adb b/src/vhdl/vhdl-sem_expr.adb
index db03456e3..c9cc2bae6 100644
--- a/src/vhdl/vhdl-sem_expr.adb
+++ b/src/vhdl/vhdl-sem_expr.adb
@@ -415,7 +415,8 @@ package body Vhdl.Sem_Expr is
| Iir_Kind_Type_Conversion
| Iir_Kind_Function_Call =>
return Expr;
- when Iir_Kind_Psl_Endpoint_Declaration =>
+ when Iir_Kind_Psl_Endpoint_Declaration
+ | Iir_Kind_Psl_Stable =>
return Expr;
when Iir_Kind_Simple_Name
| Iir_Kind_Parenthesis_Name
@@ -4828,6 +4829,9 @@ package body Vhdl.Sem_Expr is
when Iir_Kind_Psl_Prev =>
return Sem_Psl.Sem_Prev_Builtin (Expr, A_Type);
+ when Iir_Kind_Psl_Stable =>
+ return Sem_Psl.Sem_Stable_Builtin (Expr);
+
when Iir_Kind_Error =>
-- Always ok.
-- Use the error as a type.