000afcf52d
Support variable-length intersect in SVA sequences ( #7835 )
2026-06-25 04:41:53 -07:00
87bebbb732
Support global $assertcontrol ( #7807 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-06-22 18:51:41 -04:00
a5a16cfbfd
Support unbounded always [m:$] and strong s_always liveness ( #7798 )
2026-06-18 11:17:09 -04:00
3a4377d39e
Support clocking event on a sequence declaration body ( #7598 ) ( #7793 )
...
Fixes #7598 .
2026-06-17 17:57:18 -04:00
7061c1f04d
Fix not failing assertion when RHS of a range window rejects once ( #7773 )
2026-06-15 15:32:11 -04:00
077558a9b0
Support cover sequence statement ( #7764 )
2026-06-15 08:36:21 -04:00
dab6889f1e
Support assert property 'default disable iff` ( #4848 ) ( #7723 )
2026-06-12 10:40:38 -04:00
a3827182c0
Support `s_until` and `s_until_with` (IEEE1800-2023 16.12.12) ( #7722 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-06-08 14:08:04 -04:00
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