Skip to content

Verilog: event control with hierarchical event expression#1908

Merged
tautschnig merged 1 commit into
mainfrom
kroening/event-control-hierarchical-identifier
Jun 22, 2026
Merged

Verilog: event control with hierarchical event expression#1908
tautschnig merged 1 commit into
mainfrom
kroening/event-control-hierarchical-identifier

Conversation

@kroening

Copy link
Copy Markdown
Collaborator

Per IEEE 1800-2017, event_control accepts a hierarchical_event_identifier without parentheses (e.g., @s.field). Changed the event_control rule to use hierarchical_identifier instead of event_identifier.

Fixes the parsing failure exposed by the test in a624f48.

Per IEEE 1800-2017, event_control accepts a hierarchical_event_identifier
without parentheses (e.g., @s.field). Changed the event_control rule to
use hierarchical_identifier instead of event_identifier.
@tautschnig tautschnig merged commit e560e56 into main Jun 22, 2026
11 checks passed
@tautschnig tautschnig deleted the kroening/event-control-hierarchical-identifier branch June 22, 2026 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants