aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/elab-vhdl_stmts.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/elab-vhdl_stmts.adb')
-rw-r--r--src/synth/elab-vhdl_stmts.adb13
1 files changed, 11 insertions, 2 deletions
diff --git a/src/synth/elab-vhdl_stmts.adb b/src/synth/elab-vhdl_stmts.adb
index ebb2380b2..79ef52d26 100644
--- a/src/synth/elab-vhdl_stmts.adb
+++ b/src/synth/elab-vhdl_stmts.adb
@@ -281,9 +281,18 @@ package body Elab.Vhdl_Stmts is
| Iir_Kind_Psl_Assume_Directive
| Iir_Kind_Psl_Assert_Directive
| Iir_Kind_Psl_Cover_Directive
- | Iir_Kind_Psl_Declaration
- | Iir_Kind_Psl_Endpoint_Declaration =>
+ | Iir_Kind_Psl_Declaration =>
null;
+ when Iir_Kind_Psl_Endpoint_Declaration =>
+ declare
+ Val : Valtyp;
+ begin
+ Val := Create_Value_Memory
+ (Boolean_Type, Global_Pool'Access);
+ Write_Discrete (Val, 0);
+ Create_Object (Syn_Inst, Stmt, Val);
+ end;
+
when Iir_Kind_Component_Instantiation_Statement =>
if Is_Component_Instantiation (Stmt) then
Elab_Component_Instantiation_Statement (Syn_Inst, Stmt);