3 Commits

Author	SHA1	Message	Date
Yilou Wang	c8893b64de	Support `always` / `always[m:n]` / `s_always[m:n]` property operators (#7482)	2026-04-27 08:20:34 -04:00
Yilou Wang	51eb5346c8	Support sequence within operator (#7461)	2026-04-23 05:47:24 +02: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