From 713ad762af52ca0e7b6e678fdd63912e60ff4720 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Sat, 27 Jun 2026 12:28:38 -0700 Subject: [PATCH] Add regression test for assertion item labels shadowing type identifiers Check that a visible type identifier can be shadowed by labels on module level assertion items. Cover both a concurrent assertion item and a deferred immediate assertion item. Signed-off-by: Lars-Peter Clausen --- .../sv_type_identifier_assert_item_label.v | 15 +++++++++++++++ ivtest/regress-vvp.list | 1 + .../sv_type_identifier_assert_item_label.json | 5 +++++ 3 files changed, 21 insertions(+) create mode 100644 ivtest/ivltests/sv_type_identifier_assert_item_label.v create mode 100644 ivtest/vvp_tests/sv_type_identifier_assert_item_label.json diff --git a/ivtest/ivltests/sv_type_identifier_assert_item_label.v b/ivtest/ivltests/sv_type_identifier_assert_item_label.v new file mode 100644 index 000000000..07c457622 --- /dev/null +++ b/ivtest/ivltests/sv_type_identifier_assert_item_label.v @@ -0,0 +1,15 @@ +// Check that assertion item labels can shadow visible type identifiers. + +typedef int CHECK_A; +typedef int CHECK_B; + +module test; + + CHECK_A: assert property (1); + CHECK_B: assert final (1); + + initial begin + $display("PASSED"); + end + +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index 29d877666..629ea2a94 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -407,6 +407,7 @@ sv_soft_packed_union_fail1 vvp_tests/sv_soft_packed_union_fail1.json sv_string_method_substr_too_few_arg_fail vvp_tests/sv_string_method_substr_too_few_arg_fail.json sv_super_member_fail vvp_tests/sv_super_member_fail.json sv_type_identifier_ams_name_fields vvp_tests/sv_type_identifier_ams_name_fields.json +sv_type_identifier_assert_item_label vvp_tests/sv_type_identifier_assert_item_label.json sv_type_identifier_assert_label vvp_tests/sv_type_identifier_assert_label.json sv_type_identifier_attribute_name vvp_tests/sv_type_identifier_attribute_name.json sv_type_identifier_attribute_target vvp_tests/sv_type_identifier_attribute_target.json diff --git a/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json b/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json new file mode 100644 index 000000000..05434ff05 --- /dev/null +++ b/ivtest/vvp_tests/sv_type_identifier_assert_item_label.json @@ -0,0 +1,5 @@ +{ + "type" : "normal", + "source" : "sv_type_identifier_assert_item_label.v", + "iverilog-args" : [ "-g2012", "-gsupported-assertions" ] +}