[tautschnig]

New KNOWNBUG interface/generate_block_port_connection1: an interface port connected to an interface instance inside a named generate block, leaf l(.p(G[0].a), ...), fails with "unknown identifier G".

To be tackled once both #2101 and #2186 have been merged. #2101 (hierarchical references into named generate blocks) alone makes G[0].a work in expressions, but not as a port connection: the interface port actuals that #2186 resolves are plain identifiers only, and the scope symbols of named generate blocks that #2101 adds are created after the module instances have been parameterized. Checked on main, main + #2101, and #2186/#2190 + #2101: the same error each time.

[Copilot]

🟢 Approval recommended

No active review issues remain for this regression-test-only change documenting the named-generate interface connection bug.

No open issues 🎉

What changed in this PR

Adds a known-bug regression test for EBMC’s Verilog front end, documenting the failure to connect an interface port to an interface instance inside a named generate block. No production code changes are included.

Changes:

• Adds a parameterized interface connected through G[0].a, with an assertion checking that the output matches the input.
• Records the expected successful result and current “unknown identifier G” failure, explaining the dependencies on #2101 and #2186.

File	Description
regression/​verilog/​interface/​generate_block_port_connection1.sv	Reproduces the hierarchical interface port connection failure.
regression/​verilog/​interface/​generate_block_port_connection1.desc	Marks the test as KNOWNBUG and documents expected behavior and prerequisites for a fix.

_{Review effort: Balanced}