Artur Bieniek
0b50390359
Fix COVERIGN on SVA goto repetition ( #8118 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-14 13:52:10 -04:00
Artur Bieniek
95721f5040
Optimize NFA ring buffer clear operation using lazy invalidation ( #8101 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-13 18:54:57 -04:00
Artur Bieniek
73bcf5e0db
Fix NFA range ring outgoing bit selection ( #8061 repair) ( #8092 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-12 12:28:32 -04:00
Artur Bieniek
e962efca12
Fix untyped dtype error on sampling functions with property arguments ( #8060 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-12 05:16:48 -04:00
Artur Bieniek
490bd38962
Optimize bounded always properties using ring buffers ( #8061 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-10 08:45:50 -04:00
Artur Bieniek
1a4bcac666
Support weak/strong keywords in property expressions ( #8054 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-06 07:48:00 +01:00
Artur Bieniek
b1ec180a3b
NFA simplification: do not pass arguments which values are derivable ( #8053 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-05 12:40:12 -04:00
Artur Bieniek
e4b6bac50a
Fix mid-range consecutive repetition rejects ( #8041 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-08-04 17:50:33 +01:00
Artur Bieniek
796d5174f3
Fix sampled-value clocks in repeated assertions ( #7944 )
2026-07-16 13:07:53 -04:00
Yilou Wang
ec124a0905
Fix mid-window disable iff ( #7792 ) ( #7869 )
...
Fixes #7792
2026-07-11 20:44:56 -04:00
Artur Bieniek
6c20fdb7bd
Optimize assertion NFAs using bit-vector ring buffers ( #7885 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-07-07 19:26:50 -04:00
Artur Bieniek
a5f4d40901
Fix range delays with parameter bounds ( #7882 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-07-06 13:13:11 -04:00
Yilou Wang
8ed0acf1ec
Support a sequence used as an event control ( #7797 ) ( #7846 )
2026-07-06 13:12:01 -04:00
Yilou Wang
3853301367
Fix disable iff ignored when its condition is held continuously true ( #7841 )
2026-06-26 06:00:44 -04:00
Yilou Wang
000afcf52d
Support variable-length intersect in SVA sequences ( #7835 )
2026-06-25 04:41:53 -07:00
Artur Bieniek
87bebbb732
Support global $assertcontrol ( #7807 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-06-22 18:51:41 -04:00
Yilou Wang
a5a16cfbfd
Support unbounded always [m:$] and strong s_always liveness ( #7798 )
2026-06-18 11:17:09 -04:00
Yilou Wang
3a4377d39e
Support clocking event on a sequence declaration body ( #7598 ) ( #7793 )
...
Fixes #7598 .
2026-06-17 17:57:18 -04:00
Artur Bieniek
7061c1f04d
Fix not failing assertion when RHS of a range window rejects once ( #7773 )
2026-06-15 15:32:11 -04:00
Yilou Wang
077558a9b0
Support cover sequence statement ( #7764 )
2026-06-15 08:36:21 -04:00
Artur Bieniek
dab6889f1e
Support assert property 'default disable iff` ( #4848 ) ( #7723 )
2026-06-12 10:40:38 -04:00
Artur Bieniek
a3827182c0
Support s_until and s_until_with (IEEE1800-2023 16.12.12) ( #7722 )
...
Signed-off-by: Artur Bieniek <[email protected]
2026-06-08 14:08:04 -04:00
Yilou Wang
39b9901032
Support weak until / until_with property operators ( #7290 ) ( #7548 ) ( #7685 )
...
Fixes #7290 . Fixes #7685 .
2026-06-01 14:50:13 -04:00
Artur Bieniek
45fae00064
Fix width of unsized literal in property expression ( #7668 )
2026-05-28 15:10:25 -04:00
Yilou Wang
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
Yilou Wang
00c9e58006
Fix internal error on consecutive repetition with N > 256 ( #7552 ) ( #7603 )
2026-05-17 21:54:10 -04:00
Yilou Wang
f9427c6d5f
Support property abort operators (accept_on, reject_on) ( #7578 )
2026-05-15 08:38:38 -04:00
Yilou Wang
b0d58bbcef
Support SVA goto repetition with range [->M:N] ( #7569 )
2026-05-11 07:07:51 -04:00
Yilou Wang
bc1acc8aa3
Support followed-by operators #-# and #=# in properties ( #7523 )
2026-05-04 08:10:37 -04:00
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
Artur Bieniek
Yilou Wang