ba9a7aaa66
Fix static initialization order for packages with class hierarchies ( #7324 )
2026-03-27 12:53:45 -04:00
55e5f01758
Support SVA goto repetition [->N] in concurrent assertions ( #7310 )
2026-03-27 10:31:15 -04:00
9ed7a9f98b
Internals: Do not optimize variables with RW refs in Dfg
2026-03-27 07:50:05 +00:00
f12cdac8da
Optimize muxes in DfgPeephole
2026-03-27 07:50:05 +00:00
2759f2ab16
Optimize comparisons with identical operands in Dfg
2026-03-27 07:50:05 +00:00
e0fc69a2f0
Optimize CountOnes in Dfg
2026-03-27 07:50:05 +00:00
382f5003ca
Optimize more patterns in DfgPeephole ( #7332 )
2026-03-27 07:47:50 +00:00
5d2d05236e
Support very wide $display arguments ( #7280 )
2026-03-26 13:55:14 -04:00
e5adb60461
Internals: Only add VAR_PORT_DTYPE prior to V3Width ( #7331 )
2026-03-26 13:44:11 -04:00
37a316f0f8
Apply 'make format'
2026-03-26 17:28:43 +00:00
f369a629c7
Improve E_UNSUPPORTED warning messages ( #7329 )
2026-03-26 13:25:30 -04:00
e0963bd587
Fix false ASSIGNIN on interface input ports driven from outside ( #7322 )
2026-03-26 12:30:16 -04:00
3ddf7ad6ec
Support ##[M:N] range cycle delay in SVA sequences ( #7312 )
2026-03-26 10:08:22 -04:00
afa071a822
Optimize DfgPeephole until fixed point ( #7309 )
2026-03-26 06:56:36 +00:00
728ddf3331
Fix modport selection of virtual interface handle ( #7321 )
2026-03-25 07:16:52 -04:00
860ac67c04
Fix linking shared library with its dependencies ( #7320 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-03-25 07:15:24 -04:00
d33a81d32a
Optimize commutative vertex operands in Dfg for better combining
2026-03-25 08:09:37 +00:00
d00f23a2b2
Internals: Remove unused vertices immediately in DfgPeephole
2026-03-25 08:09:37 +00:00
e508d2a6d7
Internals: Use a custom worklist in DfgPeephole
2026-03-25 08:09:37 +00:00
855884f748
Internals: Simplify DfgPeephole replacement scheme
...
Always only replace the currently iterated node. This ensures it is not
on the work list, which simplifies upcoming work.
No functional of performance change intended.
2026-03-25 08:09:37 +00:00
24918b83be
Fix typedef scope resolution for parameterized class aliases ( #5977 ) ( #7319 )
2026-03-24 17:25:40 -07:00
fd2dfd6982
Apply 'make format'
2026-03-24 18:33:07 +00:00
c58df87c27
Fix MacOs lexer compile error ( #7314 ) ( #7315 )
2026-03-24 11:30:15 -07:00
aff85cef19
Support more than one dot in defparam ( #7262 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-03-24 09:20:46 -04:00
0b2bf991a6
Support boolean and/or in sequence expressions ( #7285 )
2026-03-24 08:56:14 -04:00
6873dc2f63
Support array map() method ( #7307 ) ( #7316 )
2026-03-24 02:38:50 -07:00
9a01a4054a
Improve error message when variable used as data type ( #7318 )
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-03-24 01:45:09 -07:00
3b328d2bb6
Support disable task by name ( #6853 ) ( #7136 )
2026-03-23 19:56:31 -07:00
716b404256
Optimize away empty ctor_var_reset.
...
Fixes #7154 .
2026-03-23 18:10:34 -04:00
b9c8560d12
Internals: Simplify V3DfgCache
2026-03-22 16:01:22 +00:00
921607fd35
Support property-local variables and sequence match items ( #7286 )
2026-03-22 06:21:57 -07:00
157fa9e4c5
Optimize duplicate vertices in DfgPeephole ( #7305 )
2026-03-21 22:45:02 +00:00
947cbaf330
Deprecate `--structs-packed` ( #7222 ).
2026-03-21 10:59:27 -04:00
05f640459e
Fix interface data type consistency ( #6965 ) ( #7302 )
2026-03-21 10:34:36 -04:00
4dae9ed4e9
Optimize reuse of existing associative terms in DfgPeephole
...
Enable V3DfgCache to look up vertices without creating one. Reuse
existing terms in associative expression trees if they already exist
somewhere in the graph.
2026-03-21 11:09:32 +00:00
92172e32c4
Internals: Add separate statistics for scoped Dfg stages
2026-03-21 10:49:39 +00:00
13cf9ba075
Internals: Type check vertices made in DfgPeephole
2026-03-21 10:15:18 +00:00
fa30e0c9b5
Internals: Make Dfg type checking available on single vertex
...
No functional change
2026-03-21 10:13:49 +00:00
416b30d884
Internals: Add utility to perform bisection search for debugging ( #7294 )
2026-03-21 10:13:27 +00:00
9ea7abd1c7
Support `##0` cycle delays ( #4263 ) ( #7298 )
2026-03-20 18:29:20 -04:00
c3fc0d9f0f
Fix coroutine trace setters ( #7078 repair) ( #7296 )
2026-03-20 09:23:32 -07:00
331cac2054
Internals: Four-state pre-pull cleanup ( #7281 )
2026-03-20 12:11:22 -04:00
b71abb0032
Fix `local::` false error in randomize() with on parameterized class ( #6680 ) ( #7293 )`
2026-03-20 10:25:46 -04:00
a8bccab8e6
Support named sequence declarations and instances in assertions ( #7283 )
2026-03-20 10:24:46 -04:00
25c3bc814e
Support ## delay on implication RHS in SVA properties ( #7284 )
2026-03-20 09:53:49 -04:00
998ec5b1d7
Fix streaming with descending unpacked arrays and unpacked-to-queue ( #7287 )
2026-03-20 09:51:35 -04:00
9180eebdba
Internals: MSVC cleanups
2026-03-19 22:48:12 -04:00
94f8181cff
Fix null assignment to virtual interfaces ( #5974 ) ( #5990 ). [Maxim Fonarev]
...
Fixes #5974 .
Co-authored-by: Maksim Fonarev <fonarickm@yandex.ru>
2026-03-19 20:29:02 -04:00
a0a684109f
Support modport export/import task prototypes and out-of-block definitions ( #7277 )
2026-03-18 19:20:34 -04:00
b8ca9292a4
Fix StreamR LHS assertion when source is narrower than destination ( #7276 ) ( #7282 )
2026-03-18 15:15:27 -04:00
907e775aa6
Internals: Add `--fourstate` flag and FUTURE warning ( #7279 )
2026-03-18 13:45:36 -04:00
a2154e9119
Fix interface derived types passed as parameters to generate loop module instantiation ( #7273 )
2026-03-18 09:26:55 -04:00
3bb0ea63ad
Fix queue slice LHS assignment being silently discarded ( #7270 )
2026-03-17 15:10:49 -04:00
8925762077
Fix rand_mode(0) on sub-object members not preventing solver write-back ( #7272 )
2026-03-17 15:09:14 -04:00
316fb02c60
Support assignment patterns as comparison operands ( #7269 )
...
* Support assignment patterns as EQ/NEQ comparison operands
* Apply 'make format'
* update the .out file
* add both-sides case
---------
Co-authored-by: github action <action@example.com>
2026-03-17 19:36:54 +01:00
ef5281ab73
Fix false illegally-wrapped-around error for signed enums whose auto-incremented values cross zero. ( #7268 )
2026-03-17 19:36:24 +01:00
d57324e5fb
Support dynamic array .size in inline randomize() with constraints ( #7258 ) ( #7266 )
2026-03-16 18:48:36 -04:00
be0f4a507e
Fix shift width mismatch in constraint solver SMT emission ( #5420 ) ( #7265 )
2026-03-16 18:48:09 -04:00
bf792f1809
Fix array reduction in constraints crashing with class inheritance ( #7226 ) ( #7263 )
2026-03-16 16:36:48 -04:00
651f223387
Fix false recursive definition error ( #6769 ) ( #7118 )
2026-03-16 07:31:35 -04:00
602ee384de
Support $sformat with runtime format string ( #7212 ). ( #7257 )
...
Fixes #7212 .
2026-03-14 22:43:56 -04:00
bb5a9dc247
Support jemalloc as the default allocator on Linux ( #7250 )
...
Add jemalloc as an alternative malloc implementation for the Verilator
binary. When both tcmalloc and jemalloc are available, jemalloc is
preferred due to its better performance on RTLMeter.
The new --enable-jemalloc flag (default=check) mirrors the existing
--enable-tcmalloc behavior: auto-detected at configure time, supports
both static and dynamic linking, and is disabled when --enable-dev-asan
is active.
2026-03-13 17:08:15 -04:00
7cd49a8028
Support dist and solve...before inside foreach constraints ( #7245 ) ( #7253 )
2026-03-13 11:05:18 -04:00
c0d0180918
Fix `final` asserts and $stop ( #7249 )
2026-03-12 13:09:54 -04:00
c74eee5123
Fix rand variable used as array index in constraint evaluated as constant ( #7238 ) ( #7247 )
2026-03-12 10:12:53 -04:00
08c6d5bde5
Improve some display error handling ( #7212 prep)
2026-03-12 07:49:21 -04:00
f2fdc57366
Fix --hierarchical dropping arguments in -f/-F files ( #7240 ).
2026-03-12 07:25:32 -04:00
d87035d187
Commentary: Fix non-grammar
2026-03-11 19:53:23 -04:00
be429ce956
Fix tracing of typedefed 1D packed arrays with --trace-structs ( #7237 )
...
Used to incorrectly unroll 1D packed arrays of 'bit' or 'logic' into
elements when using --trace-structs if the array element type was given
via a typedef. Keep them as a single signal instead.
2026-03-11 12:46:13 +00:00
f351882cf0
Fix enum range constraints missing for rand variables in sub-objects ( #7230 ) ( #7235 )
2026-03-11 07:21:40 -04:00
cd8818ca23
Fix randomize size+element queue constraints ( #5582 ) ( #7225 )
2026-03-11 06:51:32 -04:00
4e6eafd994
Allow constant expressions without parentheses in PATHPULSE$ declaration ( #7199 )
2026-03-11 06:01:33 -04:00
5bf1d060c9
Fix internal error when derived class calls this.randomize() with inherited rand members ( #7229 ) ( #7234 )
2026-03-10 19:03:18 -04:00
3ba9077726
Fix soft cross-object constraint priority inversion ( #7228 ) ( #7233 )
...
Emit nested constraint setup tasks in depth-first order (deepest first)
so outer-scope soft constraints get higher priority per IEEE 18.5.13.
2026-03-10 19:02:15 -04:00
a7a5c9f548
Improve not-found message to show cwd
2026-03-10 08:55:51 -04:00
2046879beb
V3Randomize: Fix dist operator inside ConstraintIf blocks ( #7221 ) ( #7224 )
...
The lowerDistConstraints() function was not recursing into ConstraintIf
nodes, causing dist operators inside if-else blocks to remain unlowered
and trigger an internal error when ConstraintExprVisitor encountered them.
Fix by adding recursive handling of ConstraintIf nodes in lowerDistConstraints:
- Check for AstConstraintIf nodes before AstConstraintExpr
- Recursively process thensp() and elsesp() branches
- This ensures all dist operators are lowered regardless of nesting
Test case: t_randomize_dist_conditional.v demonstrates conditional dist:
constraint c {
if (randd) {
x dist { 8'd0 := 1, 8'd255 := 3 }; // 25% / 75%
} else {
x dist { 8'd0 := 3, 8'd255 := 1 }; // 75% / 25%
}
}
Fixes #7221
2026-03-10 07:06:00 +00:00
1b2b8afdc1
Fix wrong $bits() for parameterized interface struct typedefs ( #7218 ) ( #7219 )
2026-03-09 22:32:13 -04:00
9c5f4e2483
Internals: Extend VerilatedVar to hold force control signal pointers ( #7217 )
2026-03-08 15:53:32 -04:00
3097df46fa
Change `--converge-limit` default to 10000 ( #7209 ).
...
Fixes #7209 .
2026-03-07 09:05:37 -05:00
68d6dd7eee
Internals: Add UASSERT to avoid error fault on sv-tests regress-sv_sv_import_hier_fail1_iv
2026-03-07 09:03:42 -05:00
4d369e4262
Fix --debug-inputs for .vlt files
2026-03-07 08:01:27 -05:00
bef5c1f475
Fix static function not found from parameterized extends class ( #7204 ) ( #7208 )
2026-03-06 16:23:02 -05:00
efa53189ea
Support constraint `with` item.index array reduction ( #7198 )
2026-03-06 05:14:55 -05:00
cedec65c39
Change array tracing to always dump left index to right index ( #7205 )
...
Also add array bounds and struct/union member counts to trace pushPrefix
(not used by vcd/fst/saif). Together these improve consistency in some
waveform formats.
2026-03-06 09:32:08 +00:00
b89d29cab9
* Support procedural concurrent assertion simple cases ( #6944 ).
...
Fixes #6944 .
2026-03-05 20:03:48 -05:00
fb00eb3bc6
Apply 'make format'
2026-03-05 21:06:48 +00:00
45a5e72509
Fix recursive default assignment for subarrays ( #4589 ) ( #7202 )
2026-03-05 16:05:54 -05:00
4f4d48e9d7
Fix library/hier_block tracing when top name is empty ( #7200 )
2026-03-05 08:44:41 -05:00
258629634c
Support force assignments to array elements of real type ( #7048 )
2026-03-05 08:37:20 -05:00
e5ad9b3a4b
Support Z non-blocking assignment ( #7192 ) ( #496 ) ( #7197 )
2026-03-04 22:39:05 -05:00
572f50126b
Improve function call argument error to show target function (rewording)
2026-03-04 20:22:25 -05:00
c93f5256d4
Fix string cast on array call
2026-03-04 20:12:10 -05:00
1bf2ea7643
Improve function call argument error to show target function
2026-03-04 19:01:01 -05:00
7acd73fede
Fix super constructor calls with local variables, by using init functions ( #6214 ) ( #6933 )
2026-03-04 17:55:55 -05:00
c34cd6ddf1
Fix missing scope when calling package function ( #7128 repair) ( #7188 ) ( #7190 )
2026-03-04 15:37:55 -05:00
9a5c1d27c8
Support array reduction methods with 'with' clause in constraints ( #6455 ) ( #6999 )
2026-03-04 12:01:35 -05:00
44701201ac
Support inout inside SV interface ( #3466 ) ( #7134 )
2026-03-04 09:08:07 -05:00
7cf539cf05
Add --func-recursion-depth CLI option ( #7175 ) ( #7179 )
2026-03-04 06:46:07 -05:00
3bc73cc768
Support constraint imperfect distributions ( #6811 ) ( #7168 )
2026-03-03 11:23:14 -05:00
5f3d475736
Internals: Minor coverage improvement as followup to ( #7128 followup) ( #7184 )
2026-03-03 11:13:32 -05:00
Yilou Wang
Geza Lore
Jakub Michalski
github action
Eunseo Song
Artur Bieniek
Nick Brereton
Tracy Narine
Wei-Lun Chiu
Ryszard Rozak
Wilson Snyder
em2machine
Igor Zaworski
Alex Zhou
Yangyu Chen
Artur Bieniek
Rahul Behl
Pawel Kojma
Christian Hecken
Rahul Behl
Julian Carrier
Igor Zaworski
jalcim