aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2021-10-13 20:21:22 +0200
committerTristan Gingold <tgingold@free.fr>2021-10-13 20:21:22 +0200
commitff3105a7a8b8298771c64fd13171e33385f6fcc8 (patch)
treebb62de013a34b3742ce06377a75593ba45a13338 /src/synth
parent3486a9d34f6cdb83e5917da9b20a6e5bf9f13b81 (diff)
downloadghdl-ff3105a7a8b8298771c64fd13171e33385f6fcc8.tar.gz
ghdl-ff3105a7a8b8298771c64fd13171e33385f6fcc8.tar.bz2
ghdl-ff3105a7a8b8298771c64fd13171e33385f6fcc8.zip
synth: add support for sequence instance in vunit. Fix #1889
Diffstat (limited to 'src/synth')
-rw-r--r--src/synth/synth-vhdl_stmts.adb6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/synth/synth-vhdl_stmts.adb b/src/synth/synth-vhdl_stmts.adb
index 687be6510..d54cabf76 100644
--- a/src/synth/synth-vhdl_stmts.adb
+++ b/src/synth/synth-vhdl_stmts.adb
@@ -3823,7 +3823,8 @@ package body Synth.Vhdl_Stmts is
Item := Get_Vunit_Item_Chain (Unit);
while Item /= Null_Node loop
case Get_Kind (Item) is
- when Iir_Kind_Psl_Default_Clock =>
+ when Iir_Kind_Psl_Default_Clock
+ | Iir_Kind_Psl_Declaration =>
null;
when Iir_Kind_Psl_Assert_Directive =>
Synth_Psl_Assert_Directive (Unit_Inst, Item);
@@ -3865,7 +3866,8 @@ package body Synth.Vhdl_Stmts is
| Iir_Kind_Psl_Assert_Directive
| Iir_Kind_Psl_Assume_Directive
| Iir_Kind_Psl_Restrict_Directive
- | Iir_Kind_Psl_Cover_Directive =>
+ | Iir_Kind_Psl_Cover_Directive
+ | Iir_Kind_Psl_Declaration =>
null;
when Iir_Kinds_Concurrent_Signal_Assignment
| Iir_Kinds_Process_Statement