39b9901032
Support weak `until` / `until_with` property operators ( #7290 ) ( #7548 ) ( #7685 )
...
Fixes #7290 . Fixes #7685 .
2026-06-01 14:50:13 -04:00
45fae00064
Fix width of unsized literal in property expression ( #7668 )
2026-05-28 15:10:25 -04:00
86799ace5d
Fix wrong false assert for property local variables with cycle-delayed consequents ( #7587 ) ( #7651 )
...
* Fix wrong false assert in property local variable with cycle-delayed consequent
* factor helper for 100 line cov
* add return, should be 100 line cov now
2026-05-25 20:13:27 +08:00
00c9e58006
Fix internal error on consecutive repetition with N > 256 ( #7552 ) ( #7603 )
2026-05-17 21:54:10 -04:00
f9427c6d5f
Support property abort operators (accept_on, reject_on) ( #7578 )
2026-05-15 08:38:38 -04:00
b0d58bbcef
Support SVA goto repetition with range `[->M:N]` ( #7569 )
2026-05-11 07:07:51 -04:00
bc1acc8aa3
Support followed-by operators `#-#` and `#=#` in properties ( #7523 )
2026-05-04 08:10:37 -04:00
8011f9a796
Internals: V3AssertNfa: hoist sampled(propp) into a per-property temp ( #7502 ) ( #7525 )
...
Fixes #7502 .
2026-05-02 12:13:58 -04:00
bb1bfabab3
Fix internal error on multi-cycle SVA under default clocking ( #7472 ) ( #7506 )
2026-04-28 06:50:16 -04:00
c8893b64de
Support `always` / `always[m:n]` / `s_always[m:n]` property operators ( #7482 )
2026-04-27 08:20:34 -04:00
51eb5346c8
Support sequence within operator ( #7461 )
2026-04-23 05:47:24 +02:00
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
Artur Bieniek