e82bd52fa3
Optimize arithmetic right shift (>>>) in DfgBreakCycles ( #7447 )
2026-04-19 20:28:17 +01:00
97454a1bc5
Remove multi-threaded FST tracing ( #7443 )
...
Remove parallel (using the FST library writer thread) and offloaded
(separate Verilator internal thread) tracing (only used by FST). These
are not compatible with #6992 , and #5806 should yield better performance
in all cases.
Consequently mark '--trace-threads' and '--trace-fst-thread' options as
deprecated
2026-04-19 16:02:12 +01:00
f7a349c5a7
Fix uvm_hdl_release_and_read not reading release value or checking for success ( #7425 )
2026-04-19 08:24:07 -04:00
29a93fe5bc
Fix internal error on `dist` under implication operator in constraints ( #7440 ) ( #7442 )
...
Fixes #7440
2026-04-19 08:03:19 +02:00
707dcea914
Commentary/Tests: Describe PARAMNODEFAULT as top.
...
Fixes #7441 .
2026-04-18 11:34:19 -04:00
ba508c00d2
Support `until_with` property ( #7290 partial) ( #7436 )
2026-04-17 06:33:36 -04:00
72952fd3fb
Fix inline constraint on array-indexed randomize target ( #7431 ) ( #7434 )
...
Fixes #7431 .
2026-04-16 11:02:22 -04:00
3587ac48a4
Fix modification of members of object with const handle ( #7433 )
...
Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-04-16 09:43:12 -04:00
4fe121e5aa
Commentary: Changes update
2026-04-15 17:46:08 -04:00
885fbaf075
Apply 'make format'
2026-04-15 12:11:06 +00:00
c143c2fdd2
Fix side-effect loss when slicing array expressions ( #7427 ) ( #7429 )
...
Fixes #7427 .
2026-04-15 08:10:11 -04:00
7f571971ca
Optimize trace code for faster compiles on repeated types ( #6707 ) ( #6832 )
2026-04-14 19:16:21 -04:00
38b7734530
Fix subclass with rand_mode(0) getting randomized ( #7376 ) ( #7383 )
...
Fixes #7376 .
2026-04-14 16:47:24 -04:00
ab0264deca
Optimize more Dfg peephole patterns ( #7423 )
2026-04-14 16:22:54 +01:00
7e3400b37d
Fix virtual interface implied comparison with null ( #7421 ).
...
Fixes #7421 .
2026-04-14 07:25:02 -04:00
9eb2ba4c54
Support 2**n expressions in constraint randomization ( #7422 )
2026-04-14 07:17:53 -04:00
2770e649ba
Commentary: Changes update
2026-04-13 21:09:24 -04:00
ec4f66120c
Test: Remove old Makefile rules
2026-04-13 21:09:09 -04:00
023b2edd48
Add newline on alarm timeouts to help error parsers
2026-04-13 21:07:03 -04:00
6ba45d3383
Support per-process RNG for process::srandom() and object seeding ( #7408 ) ( #7415 )
...
Fixes #7408 .
2026-04-13 13:58:53 -04:00
fd7a3f4a16
Fix zero-size parameter ( #7387 repair) ( #7411 ) ( #7418 )
...
Fixes #7411 .
2026-04-13 13:19:11 -04:00
83b2061a35
Fix std::randomize treated as this.randomize in parameterized-derived class ( #7409 ) ( #7416 )
...
Fixes #7409 .
2026-04-13 11:34:17 -04:00
14e2f834e9
Fix parameterized class typedef as interface type parameter ( #7000 ) ( #7006 )
...
Fixes #7000 .
2026-04-12 20:38:27 -04:00
fac07970e6
Improve too-small cast warning to show size
2026-04-12 18:12:41 -04:00
be7d26c5be
Fix delete inside foreach skipping elements ( #7404 ) ( #7410 )
...
Fixes #7404
2026-04-11 22:42:50 -04:00
0891d51c75
Commentary: Changes update
2026-04-11 17:47:39 -04:00
d2c3d134c9
Tests: Speed up t_vpi_force build. No coverage change.
2026-04-11 07:51:39 -04:00
dc33e8bb18
Fix for Returning an object of the wrong type from a static function of a parameterized class ( #5479 ) ( #7387 )
2026-04-11 07:49:45 -04:00
89c93980f3
Apply 'make format'
2026-04-10 16:18:06 +00:00
a8f62703ab
Fix virtual class inheritance ( #7403 ) ( #7405 )
...
Fixes #7403 .
2026-04-10 12:17:06 -04:00
081ecbd095
Fix for elaboration hang ( #7385 repair) #7398 ( #7406 )
...
Fixes #7398 .
2026-04-10 11:03:14 -04:00
4da31b0418
Support 'until' property (partial #7290 ) ( #7399 )
2026-04-10 08:17:54 -04:00
cf9a52cb92
Fix vpi_put_value not updating forced read value ( #7092 ) ( #7395 )
...
Fixes #7092 .
2026-04-09 19:08:36 -04:00
854e80c3c2
Support nonconsecutive repetition [=N] in sequence expressions ( #7397 )
2026-04-09 18:28:28 -04:00
f32a692ce3
Fix `$finish` to immediately stop executing code from non-final blocks ( #7213 partial) ( #7390 ).
2026-04-09 17:49:57 -04:00
1b4f574b31
Internals: Improve Dfg pattern dumps
2026-04-09 17:32:26 +01:00
d20d765dd0
Support first_match sequence operator ( #7392 )
2026-04-09 11:42:43 -04:00
426cc29d7a
Revert "Fix `$finish` to immediately stop executing code from non-final block…" ( #7393 )
...
This reverts commit afd75ed1b8
2026-04-09 11:38:07 -04:00
afd75ed1b8
Fix `$finish` to immediately stop executing code from non-final blocks ( #7213 partial) ( #7390 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-04-09 11:34:27 -04:00
9f9532ff78
Optimize Dfg only once, after V3Scope ( #7362 )
2026-04-09 08:31:12 -04:00
e63c4f563e
Support consecutive repetition [*N:M], [+], and [*] in sequence expressions ( #7379 )
2026-04-08 10:26:03 -04:00
7dcf586807
Fix sampling of hierarchical references ( #7386 )
2026-04-08 07:09:25 -04:00
141fe8bdad
Support sequence intersect operator ( #7374 )
2026-04-08 09:31:54 +02:00
2736262b98
Fix resolving default/nondefault type-of-type parameters ( #7380 ) ( #7385 )
2026-04-07 17:58:36 -04:00
8c11d0d0bd
Support rise/fall delays ( #7368 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-04-07 06:44:52 -04:00
dfb7b034a5
Support sequence 'throughout' operator ( #7378 )
2026-04-06 17:12:22 -04:00
72b2ca5585
Support ##[*], ##[+], ##[M:$] unbounded cycle delays in SVA properties ( #7377 )
2026-04-06 16:31:43 -04:00
0df0064d64
Fix VPI access to Verilog `force`-ed signals ( #7381 )
2026-04-06 10:51:01 -04:00
9f4546fcb9
Fix constraint 'with' in parameter classes ( #7375 )
2026-04-04 21:03:44 -04:00
33493cf5b4
Add `+verilator+solver+file` ( #7242 ).
...
Fixes #7242 .
2026-04-04 17:26:43 -04:00
Geza Lore
Christian Hecken
Yilou Wang
Wilson Snyder
Ryszard Rozak
Kamil Danecki
github action
Rowan Goemans
Todd Strader
em2machine
Leela Pakanati
Nikolay Puzanov
Artur Bieniek