4 Commits

Author	SHA1	Message	Date
Wilson Snyder	08cd5fe30b	Tests: Reformat some recent tests to mostly verilog-format standard. No test functional change.	2026-08-11 20:04:45 -04:00
Yilou Wang	000afcf52d	Support variable-length intersect in SVA sequences (#7835)	2026-06-25 04:41:53 -07:00
Yilou Wang	935b2564eb	Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)	2026-04-20 07:43:18 +02:00
Yilou Wang	141fe8bdad	Support sequence intersect operator (#7374)	2026-04-08 09:31:54 +02:00