Skip to content

introduce verilog_sva_property_typet#1081

Merged
tautschnig merged 1 commit intomainfrom
verilog_sva_property_type
Jul 16, 2025
Merged

introduce `verilog_sva_property_typet`#1081
tautschnig merged 1 commit intomainfrom
verilog_sva_property_type

Commits

Commits on Jul 9, 2025