SystemVerilog: concurrent assertion items go into module namespace#575

Merged

tautschnig merged 1 commit intomainfrom assertion-item-namespace

Jun 25, 2024

+119-111

Commits on Jun 24, 2024

SystemVerilog: concurrent assertion items go into module namespace
kroening
committed