Skip to content

Verilog: stick statement label onto assert/assume/cover#534

Merged
tautschnig merged 1 commit intomainfrom
assertion-statement-label
Jun 10, 2024
Merged

Verilog: stick statement label onto `assert`/`assume`/`cover`#534
tautschnig merged 1 commit intomainfrom
assertion-statement-label

Commits

Commits on Jun 8, 2024