Skip to content

Conversation

@kroening
Copy link
Collaborator

@kroening kroening commented Aug 26, 2025

SystemVerilog 1800-2005 has introduced the .* operator, used for

a) implicit port connections, and

b) patterns.

This adds support to the scanner and parser. The type checker errors wildcard port connections.

@kroening kroening force-pushed the systemverilog-dot-asteric branch 5 times, most recently from 3abdcd9 to ad4dc2d Compare August 28, 2025 18:46
@kroening kroening force-pushed the systemverilog-dot-asteric branch from ad4dc2d to 1940921 Compare September 16, 2025 02:12
@kroening kroening changed the title SystemVerilog .* SystemVerilog .* wildcard port connections Sep 16, 2025
@kroening kroening force-pushed the systemverilog-dot-asteric branch 2 times, most recently from 962a337 to 757dbc7 Compare December 23, 2025 00:57
@kroening kroening changed the title SystemVerilog .* wildcard port connections Grammar for SystemVerilog .* wildcard port connections Dec 23, 2025
@kroening kroening marked this pull request as ready for review December 23, 2025 00:57
SystemVerilog 1800-2005 has introduced the .* operator, used for

a) wildcard port connections (23.3.2.4), and

b) wildcard patterns (12.6).

This adds support to the scanner and parser.  The type checker errors
wildcard port connections.
@kroening kroening force-pushed the systemverilog-dot-asteric branch from 757dbc7 to 4e108e2 Compare December 23, 2025 17:00
@tautschnig tautschnig merged commit ba64eb9 into main Dec 24, 2025
11 checks passed
@tautschnig tautschnig deleted the systemverilog-dot-asteric branch December 24, 2025 00:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants