1 Pull request merged by 1 person

• SVA-to-Buechi: s_always

  #1131 merged Jun 5, 2025

3 Pull requests opened by 1 person

• Test for SVA empty match and followed-by operator

  #1145 opened Jun 6, 2025

• fixup i2c_*.sv SVA

  #1146 opened Jun 6, 2025

• NeurIPS 2025 SystemVerilog benchmarks

  #1147 opened Jun 6, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• introduce `verilog_sva_property_typet`

  #1081 commented on Jun 5, 2025 • 0 new comments