Marco Bartoli
26dd04c020
Fix ##0 synchronous drive overriding later drives ( #8482 )
2026-09-23 21:32:14 -04:00
Wilson Snyder
3d386f8fa5
Internals: Add VL_DO_DANGLING in some missing places. No functional change intended.
2026-09-23 18:27:40 -04:00
Geza Lore
d04647f459
Fix library method argument references ( #8252 )
...
Each VCMethod now carries a signature describing the access required of
the references passed as arguments to the call. 'r' if the argument is
read, 'w' if it is fully assigned so the old value does not matter, 'm'
if it is modified (or only conditionally assigned), with a trailing '+'
repeating the preceding entry for all remaining arguments. Signatures
are validated at compile time, and V3Broken checks the arguments of
every AstCMethodHard against them.
The incorrect references this found and that are easy to fix are
repaired in this patch. "TODO" marks method that are currently broken or
not yet fit the scheme, these will be fixed in follow up patches.
Also renames SCHED_COMMIT and SCHED_ENQUEUE to NBA_COMMIT and
NBA_ENQUEUE, and remove unused methods.
2026-09-05 19:48:07 +01:00
Wilson Snyder
f694e9e1e8
Revert NFA assertion outcomes ( #7946 revert) ( #8258 )
2026-09-01 11:15:05 -04:00
Wilson Snyder
1c2fa7234d
Fix removing extra width warnings after another error
2026-08-31 18:04:58 -04:00
Yilou Wang
c81be029a6
Fix NFA assertion scheduling to fix outcome counts ( #7946 )
2026-08-29 15:53:08 -04:00
Artur Bieniek
7f9333723f
Fix sampled-value functions output on the first cycle ( #8162 )
2026-08-26 10:30:59 -04:00
Artur Bieniek
69f42ea480
Support s_until/s_until_with in property expression ( #8220 )
2026-08-25 10:26:43 -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
Wilson Snyder
5ead758f28
Internals: Use addNextNull. No functional change intended.
2026-07-14 19:58:25 -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
9462c2a910
Fix unclocked concurrent assertion misreported as unsupported ( #7831 )
2026-06-24 09:44:47 -04:00
Yilou Wang
bec45125bd
Fix cover property of an implication counting vacuous matches ( #7789 )
2026-06-16 11:52:35 -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
Marco Bartoli
4d556dfcc7
Fix s_eventually on interface ( #7731 ) ( #7733 )
...
Fixes #7731 .
2026-06-07 20:46:00 -04:00
Wilson Snyder
349dd546e7
Internals: Rename stdPackageProcessp etc. No functional change.
2026-05-15 17:33:19 -04:00
Yilou Wang
b0d58bbcef
Support SVA goto repetition with range [->M:N] ( #7569 )
2026-05-11 07:07:51 -04:00
Bartłomiej Chmiel
4e349971d3
Support s_eventually ( #7291 ) ( #7508 )
2026-05-04 09:57:03 -04:00
Yilou Wang
bc1acc8aa3
Support followed-by operators #-# and #=# in properties ( #7523 )
2026-05-04 08:10:37 -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
935b2564eb
Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) ( #7430 )
2026-04-20 07:43:18 +02:00
Ryszard Rozak
ba508c00d2
Support until_with property ( #7290 partial) ( #7436 )
2026-04-17 06:33:36 -04:00
Ryszard Rozak
4da31b0418
Support 'until' property (partial #7290 ) ( #7399 )
2026-04-10 08:17:54 -04:00
Yilou Wang
854e80c3c2
Support nonconsecutive repetition [=N] in sequence expressions ( #7397 )
2026-04-09 18:28:28 -04:00
Ryszard Rozak
cf6a2aec19
Internals: Clean up sampling. No functional change intended ( #7389 )
2026-04-09 08:49:07 -04:00
Yilou Wang
e63c4f563e
Support consecutive repetition [*N:M], [+], and [*] in sequence expressions ( #7379 )
2026-04-08 10:26:03 -04:00
Yilou Wang
141fe8bdad
Support sequence intersect operator ( #7374 )
2026-04-08 09:31:54 +02:00
Yilou Wang
dfb7b034a5
Support sequence 'throughout' operator ( #7378 )
2026-04-06 17:12:22 -04:00
Yilou Wang
bf453361f6
Support consecutive repetition [*N] in SVA properties ( #7311 )
2026-03-30 07:01:33 -04:00
Wilson Snyder
5036af3d37
Commentary: Refer to latest standard where can
2026-03-29 18:06:12 -04:00
Nick Brereton
f66df9e70e
Fix disable iff imply-delay statement linking ( #7337 )
2026-03-27 14:31:03 -04:00
Yilou Wang
55e5f01758
Support SVA goto repetition [->N] in concurrent assertions ( #7310 )
2026-03-27 10:31:15 -04:00
Yilou Wang
0b2bf991a6
Support boolean and/or in sequence expressions ( #7285 )
2026-03-24 08:56:14 -04:00
Yilou Wang
921607fd35
Support property-local variables and sequence match items ( #7286 )
2026-03-22 06:21:57 -07:00
Yilou Wang
9ea7abd1c7
Support ##0 cycle delays ( #4263 ) ( #7298 )
2026-03-20 18:29:20 -04:00
Yilou Wang
a8bccab8e6
Support named sequence declarations and instances in assertions ( #7283 )
2026-03-20 10:24:46 -04:00
Yilou Wang
25c3bc814e
Support ## delay on implication RHS in SVA properties ( #7284 )
2026-03-20 09:53:49 -04:00
Wilson Snyder
b89d29cab9
* Support procedural concurrent assertion simple cases ( #6944 ).
...
Fixes #6944 .
2026-03-05 20:03:48 -05:00
Ryszard Rozak
ff3028aca3
Support disable iff with sequences ( #7090 )
2026-02-19 11:33:30 +01:00
Ryszard Rozak
f843780aad
Add UNSUPPORTED on $sampled in sensitivity list ( #7093 )
2026-02-19 08:36:21 +01:00
Wilson Snyder
7c6c6a684b
Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.
2026-01-26 20:24:34 -05:00
Wilson Snyder
50b6954cfc
Internals: cppcheck cleanups
2026-01-17 23:18:09 -05:00
Ryszard Rozak
da14e7c4bb
Fix disable iff in simple properties ( #6890 )
2026-01-07 07:02:52 -08:00
Wilson Snyder
13327fa9c0
Copyright year update.
2026-01-01 07:22:09 -05:00
Wilson Snyder
41c4f948fe
Support assert under assert ( #6146 ).
2025-12-16 20:45:31 -05:00
Pawel Kojma
37318ab2bd
Fix input sampling of clocking block signals ( #6788 )
2025-12-10 10:59:08 -05:00
Ryszard Rozak
0f355c717e
Fix disable iff in simple properties ( #6783 )
2025-12-09 07:18:32 -05:00
Wilson Snyder
7957701db8
Suppress unsupported for unused constant sequences
2025-12-03 21:23:48 -05:00
Ryszard Rozak
f32095dd17
Support constexpr cycle delay in sequences ( #6691 )
2025-11-14 13:48:46 +01:00
Marco Bartoli
Wilson Snyder
Geza Lore
Yilou Wang
Artur Bieniek
Bartłomiej Chmiel
Ryszard Rozak
Nick Brereton
Pawel Kojma