e9274be247
Apply 'make format'
2026-06-06 00:44:02 +00:00
bc86701bec
Support forceable on unpacked array variables ( #7677 ) ( #7678 )
...
Fixes #7677 .
2026-06-05 20:43:06 -04:00
0851d1fbe5
Fix optimizations of assignments with timing controls ( #7718 )
2026-06-05 12:21:21 -04:00
2886291eba
Support covergroups, coverpoints, and bins ( #784 ) ( #7117 )
...
Fixes #784 .
2026-06-05 09:35:01 -04:00
7e2fe64ae2
Fix splitting functions containing fork logic ( #7717 )
2026-06-05 09:32:52 -04:00
947a08965e
Add hierarchy-aware reporting to `verilator_coverage` ( #7657 )
2026-06-04 09:32:19 -04:00
14cf611c72
Internals: Factor out inlining predicate in V3Gate
...
No functional change.
2026-06-04 09:33:24 +01:00
81282c3d57
Fix (const) ref default task argument handling ( #7698 )
2026-06-03 22:31:21 -04:00
4d5393c191
Fix tristate lowering for interface inout ports ( #7134 repair) ( #7708 ) ( #7710 )
...
Fixes #7708 .
2026-06-03 19:51:49 -04:00
7bd41bfbb9
Fix MULTIDRIVEN in generates ( #7709 )
2026-06-03 19:50:56 -04:00
72db0b575e
Support if/if-else in properties ( #7692 )
2026-06-03 15:54:15 -04:00
bbd8d927ee
Support printing enum names for %p and %s ( #5523 ) ( #7338 repair) ( #7521 ) ( #7527 )
2026-06-03 14:55:00 -04:00
41811d436f
Optimize runtime assertOn() checks ( #7707 )
...
Combine consecutive assertOn() checks into one, and hoist past enclosing
'if' statements if possible. This enables combining a lot of them, which
can be worth 10% performance on some assertion heavy designs depending
on how the assertions are written.
2026-06-03 18:09:49 +01:00
1af9c39759
Fix ref-arg type check for packed arrays with differing range directions ( #7700 )
2026-06-03 12:49:14 -04:00
bbf8471c2a
Fix of ignoring not found pruned modules with encoded names ( #7706 )
2026-06-03 12:19:33 -04:00
715f5f0c13
Optimize $sformatf into $sformat ( #7701 )
...
Turn `x = $sformatf(...)` into `$sformat(x, ...)`. The former requires
checking and running a destructor for `x` at the call site, the later
does it in the callee VL_SFORMAT. This reduces the size of the call
site, which can be significant e.g. in the presence of many assertions.
Also added a rewrite of `$sformat(x, "const-string")` back into `x =
"const-string"` for the cases where the `$sformatf` would have been
folded into a constant string.
2026-06-03 08:43:05 +01:00
efb83c55de
Optimize VL_SFORMAT when result is string ( #7702 )
...
Omit unused bit width parameter. Emit rule is simple enough to change
and the unused parameter just bloats code size.
2026-06-03 08:42:48 +01:00
970e7983d3
Optimize $sformat in V3Life ( #7703 )
...
Treat AstSFormat as a special form of assignment in V3Life. This allows
eliminating earlier redundant assignments to strings when an $sformat
later sets the string. UVM has lot of these.
2026-06-03 08:41:58 +01:00
0026a73ca0
Optimize DPI import argument passing ( #7704 )
...
Pass inputs to DPI import wrappers by reference (unless fits in a
register). This eliminates a lot of temporary constructors/destructors.
2026-06-03 08:41:33 +01:00
7664bbb3ef
Support generic interface arrays ( #7604 )
2026-06-02 22:28:50 -04:00
fe4adfe273
Support process::self().srand() ( #7695 )
2026-06-02 12:00:27 -04:00
802efd579a
Fix t_class_param type invalid array access ( #7615 repair) ( #7653 ) ( #7693 )
2026-06-02 09:01:05 -04:00
c079aa0b17
Optimize wide conditional expansion in V3Premit ( #7691 )
...
V3Premit extracts wide sub-expressions via temporaries, which is needed
for emitting wide operations to C++ (calls to `VL_*_W`). The previous
version used to extract both branches of an AstCond unconditionally,
meaning both branches were fully evaluated. Rewriting the AstCond into
an AstIf instead enables evaluating only the required branch. While
this does limit V3Subst, overall the resulting code is ~3% faster,
and contains ~25% fewer branches on a large design.
2026-06-01 20:25:41 +01:00
39b9901032
Support weak `until` / `until_with` property operators ( #7290 ) ( #7548 ) ( #7685 )
...
Fixes #7290 . Fixes #7685 .
2026-06-01 14:50:13 -04:00
72ed55b180
Support strength on buf/not
2026-05-31 08:54:29 -04:00
e2063e7ac0
Apply 'make format'
2026-05-30 19:36:22 +00:00
57fa98e52c
Fix TSP variable ordering for mtasks ( #5342 ) ( #7610 )
...
Fixes #5342
2026-05-30 15:35:12 -04:00
2ccaae77ae
Fix CONTASSINIT false positive on wire inside two different instantiations
...
Fixes #7640 .
2026-05-30 15:23:02 -04:00
125bdb45f5
Support pre/post increment/decrement inside && and || ( #7683 )
2026-05-29 19:51:27 -04:00
9455dddab4
Optimize if branches with same trailing statements ( #7674 )
...
If the same statements appears in both branches of an 'if', put a single
copy after the 'if', apply recursively. This also has the effect of
getting rid of conditionals with identical branches, but is more widely
applicable.
2026-05-29 11:26:07 +01:00
5d344ab8ff
Fix parameter read through locally-declared interface instance ( #7679 )
2026-05-28 21:20:49 -04:00
3d126b77cd
Fix for access to parameters via class::localparam ( #7609 ) ( #7671 )
2026-05-28 17:40:18 -04:00
77f0883b06
Fix forceable signal with a procedural continuous assign ( #7638 ) ( #7639 )
2026-05-28 16:03:27 -04:00
557dda3396
Fix AstNodeFTaskRef equivalence check ( #7673 )
2026-05-28 20:33:41 +01:00
45fae00064
Fix width of unsized literal in property expression ( #7668 )
2026-05-28 15:10:25 -04:00
55d78b225d
Fix signing off new MULTIDRIVEN warnigns on variable ( #7672 )
2026-05-28 13:34:36 -04:00
3a91b333c3
Fix loss of events due to bit shift ( #7670 )
2026-05-28 12:45:18 -04:00
70045433c9
Fix reserved keywords reaching emitter ( #7666 )
2026-05-28 10:04:14 -04:00
3bc7021211
Apply 'make format'
2026-05-28 11:21:07 +00:00
b5555a032e
Internals: clean up for redundant m_alwCombFileLinep and m_nodeFileLinep variables ( #7665 )
2026-05-28 07:20:06 -04:00
29d2f522bf
Fix internal error when handling typedefs containing parameterized class type members ( #7635 ) ( #7661 )
...
Fixes #7635 .
2026-05-27 12:17:49 -07:00
62f475709f
Apply 'make format'
2026-05-27 12:35:09 +00:00
8ae0e48103
Fix false MULTIDRIVEN warning on always_ff variables ( #7351 ) ( #7621 )
2026-05-27 08:34:11 -04:00
cd532e0e79
Fix dropped iff guard on clocking inside task ( #7658 ) ( #7659 )
...
Fixes #7658
2026-05-27 00:24:54 -07:00
99a35fee83
Apply 'make format'
2026-05-26 16:21:12 +00:00
9460501221
Add NOTREDOP error on reduction and negation operators ( #7417 ) ( #7623 ) ( #7624 )
2026-05-26 12:20:15 -04:00
9e2fedee6f
Fix ALWCOMBORDER on variable ordering ( #7350 ) ( #7608 )
2026-05-26 06:40:55 -04:00
a2d4b90b52
Fix dearray varref scope error ( #7530 ) ( #7602 )
...
Fixes #7530 .
2026-05-25 17:48:31 -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
cf8713aebc
Add `--coverage-per-instance`
2026-05-24 18:08:55 -04:00
github action
Nikolai Kumar
Ryszard Rozak
Matthew Ballance
Mateusz Gancarz
Yogish Sekhar
Geza Lore
Nick Brereton
Todd Strader
Artur Bieniek
Igor Zaworski
Krzysztof Bieganski
Kamil Danecki
Yilou Wang
Wilson Snyder
Muzaffer Kal
em2machine
Zubin Jain
Pawel Kojma
Cookie