Yilou Wang
|
8011f9a796
|
Internals: V3AssertNfa: hoist sampled(propp) into a per-property temp (#7502) (#7525)
Fixes #7502.
|
2026-05-02 12:13:58 -04:00 |
|
Yilou Wang
|
bb1bfabab3
|
Fix internal error on multi-cycle SVA under default clocking (#7472) (#7506)
|
2026-04-28 06:50:16 -04:00 |
|
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 |