ca376d681a
Optimize $onehot in Dfg
2026-06-06 06:11:13 +01:00
e53d6d9006
Improve procedural loop unrolling
...
- Enable unrolling of nested loops when the inner loop updates the
outer loop condition
- Enable unrolling 'for' loops with break statements
2026-06-06 06:11:13 +01:00
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
816ab67826
Commentary: Changes update
2026-06-05 18:36:55 -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
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
7664bbb3ef
Support generic interface arrays ( #7604 )
2026-06-02 22:28:50 -04:00
ee793669c5
Support MacOS lldb ( #7697 )
2026-06-02 16:42:42 -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
e965fb92de
Fix skipping nulls in $sscanf ( #7689 ).
...
Fixes #7689 .
2026-05-31 17:25:28 -04:00
72ed55b180
Support strength on buf/not
2026-05-31 08:54:29 -04:00
1eb12685a7
Support streaming into 2-D unpacked arrays ( #7686 ) ( #7687 )
...
Fixes #7686 .
2026-05-30 22:08:32 -04: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
99a24c7f39
Commentary: Changes update
2026-05-30 15:16:41 -04:00
2d16ca375d
Tests: Rename t_lint_contassinit
2026-05-30 14:48:01 -04:00
fa0f814686
Fix biased bit distribution under value < (1 << N) constraints ( #7563 ) ( #7684 )
...
Fixes #7563
2026-05-30 13:00:35 -04:00
125bdb45f5
Support pre/post increment/decrement inside && and || ( #7683 )
2026-05-29 19:51:27 -04: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
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
f52fb1f1db
Tests: Simplify t_runflag_logfile_open_bad.py ( #7669 )
...
Fixes #7667
2026-05-28 12:43:07 -04:00
70045433c9
Fix reserved keywords reaching emitter ( #7666 )
2026-05-28 10:04:14 -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
a2fae5eb4b
Add `+verilator+log+file` ( #4505 ) ( #7645 )
...
Fixes #4505 .
2026-05-27 14:33:19 -04: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
291141777e
Apply 'make format'
2026-05-27 07:26:42 +00: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
8872908704
Tests: Update tests to include parameterized modules ( #7655 )
2026-05-25 17:46:54 -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
be783e5574
Apply 'make format'
2026-05-24 22:09:56 +00:00
cf8713aebc
Add `--coverage-per-instance`
2026-05-24 18:08:55 -04:00
6b48b772d3
Apply 'make format'
2026-05-24 15:43:38 +00:00
4fbb8bf43b
Fix hierarchical coverage counts for duplicate no-inline module instances ( #7649 )
2026-05-24 11:42:42 -04:00
6c96ce4b40
Fix inherited rand array with .size + foreach constraint ( #7650 )
...
Fixes #7558 .
2026-05-24 09:02:01 -04:00
f93b4bbd05
Internals: Remove 'VlWide::operator bool()' ( #7652 )
...
This was a fudge to work around using VlWide in `if` conditions without
a `_ != 0` check. That check is actually inserted by V3Width (or an
equivalent reduction), so the offending code was only generated
internally. Hopefully fixed the single instance where this really
happened. (If not, C++ will fail to compile with "cannot convert VlWide
to bool in 'if (__HERE__)'" errors, still better than the old version
which used to silently not do the right test due to incorrect implicit
conversions.)
2026-05-24 13:09:31 +01:00
f0c569ab0d
Fix CASEINCOMPLETE to not warn on `unique0 case` ( #7647 ).
...
Fixes #7647 .
2026-05-23 20:04:54 -04:00
adddec6547
Tests: Reduce peak memory use of UVM tests ( #7648 )
2026-05-23 19:36:25 -04:00
7935321b25
Fix FSM thread nondeterminism ( #7644 ) ( #7646 )
2026-05-22 22:30:01 -04:00
c507dcf610
Internals: Enforce types on C++ enums. No functional change intended.
2026-05-22 17:59:57 -04:00
c0dc77c908
Commentary: Changes update
2026-05-22 17:57:11 -04:00
c99aa8ede5
Fix erroneous implicit conversions of VlWide ( #7642 )
...
Change WDataInP/WDataOutP to be opaque handles types instead of aliases
to raw pointers. This subsequently eliminates needing an implicit cast
operator in VlWide, which is replaced with implicit constructors of
WDataInP/WDataOutP that can create a handle from a VlWide. This
eliminates some unsafe conversions that the previous implicit cast
operator unintentionally enabled (e.g. #7618 ). It also eliminates
having to insert ".data()" in various places int he generated code, which
simplifies internals (the only place ".data()" should be needed is in
calls to variadic functions where the expected type of the argument is
not WDataInP/WDataOutP).
The handles otherwise behave like pointers, implementing the minimal
amount of operators required to code the runtime. The handle is still
only a single pointer, and will be passed in registers as before, so
this patch should be performance neutral.
As part of this removed WData, which used to be an alias for EData.
All uses are now either EData*, WDataInP, WDataOutP, or VlWide directly.
2026-05-22 20:05:08 +01:00
ef72b2fabb
Tests: Disable t_fsm_register_wrapper_noinline --vltmt ( #7644 )
2026-05-22 14:27:40 +01:00
20f4eca646
Support busses with mix of pullup/pulldown ( #7632 )
2026-05-21 14:45:40 -04:00
a208d17939
Apply 'make format'
2026-05-21 17:51:28 +00:00
f282335600
Support FSM detection in primitive wrappers ( #7607 )
2026-05-21 13:50:31 -04:00
69b3c5f6d1
Support streaming on queues ( #7597 )
2026-05-20 19:14:02 -04:00
c5798f902b
Fix reference counting for modport task references ( #7628 )
2026-05-20 14:24:56 -04:00
f3a86bacdd
Commentary: Changes update
2026-05-19 21:40:08 -04:00
afad8db672
Fix VlWide equality comparion in unpacked structs ( #7618 )
2026-05-20 00:57:33 +01:00
cb3b9c7c43
Fix nested parameterized class typedef chain ( #7538 )
2026-05-19 14:12:24 -04:00
b06ea01afb
Fix type parameters order ( #7615 )
2026-05-19 09:52:09 -04:00
efdc8d1cbf
Fix unique_index method on assoc arrays with values differing from the keys ( #7616 )
...
Signed-off-by: Pawel Klopotek <pklopotek@internships.antmicro.com>
2026-05-19 09:51:23 -04:00
a67c5f81f3
Fix clocking-block sample of unpacked array ( #7612 ) ( #7613 )
...
Fixes #7612 .
2026-05-18 21:40:54 -04:00
eb258d7df7
IEEE-compliant, fair `std::semaphore` ( #7435 ) ( #7605 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2026-05-18 11:11:42 +02:00
00c9e58006
Fix internal error on consecutive repetition with N > 256 ( #7552 ) ( #7603 )
2026-05-17 21:54:10 -04:00
57ce373e99
Fix array pattern concatenation ( #7401 ) ( #7402 )
2026-05-17 09:49:32 -04:00
9fe058677b
Support NBAs in initial blocks with delay/event controls ( #7566 ) ( #7600 )
...
Fixes #7566 .
2026-05-17 07:34:29 -04:00
c1ab369da2
Fix process comparison compile error with `--public-flat-rw` ( #7592 ).
...
Fixes #7592 .
2026-05-15 18:22:46 -04:00
349dd546e7
Internals: Rename stdPackageProcessp etc. No functional change.
2026-05-15 17:33:19 -04:00
f9427c6d5f
Support property abort operators (accept_on, reject_on) ( #7578 )
2026-05-15 08:38:38 -04:00
442dd91683
Apply 'make format'
2026-05-15 11:53:21 +00:00
67e74c5ce4
Fix interface instance name collision ( #7591 ) ( #7593 )
...
Fixes #7591 .
Co-authored-by: Leela Pakanati <41307800+cachanova@users.noreply.github.com>
2026-05-15 07:52:26 -04:00
d66733aeb8
Fix process comparison compile error with `--public-flat-rw` ( #7592 ).
...
Fixes #7592 .
2026-05-14 17:52:28 -04:00
dff2606c0c
Commentary: Changes update
2026-05-14 17:38:11 -04:00
fb617e49dd
Optimize read selects with no overlapping forces with regular reads ( #7594 )
2026-05-14 16:46:57 -04:00
4a1f17e75f
Fix force of unpacked arrays ( #7579 ) ( #7580 )
...
Fixes #7579 .
2026-05-14 10:58:16 -04:00
c518abd22a
Optimize reading selected words on forced wide ( #7391 repair) ( #7554 partial) ( #7572 )
2026-05-14 07:38:42 -04:00
1653b982b9
Verilog format
2026-05-13 21:00:34 -04:00
1c3ee7ce4c
Support expression coverage on assign statements ( #7543 )
2026-05-13 13:59:29 -04:00
e485dfe48c
Fix NBA to whole arrays ( #7583 )
...
Fixes #7575
2026-05-13 13:20:22 +01:00
3381d656c7
Support calling interface functions without parens ( #7584 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2026-05-13 08:15:32 -04:00
05302080a9
Support procedural concurrent assertions with inferred clock ( #7581 )
2026-05-13 07:42:28 -04:00
1ffa6b277d
Fix property argument retaining type of the previous variable ( #7582 )
...
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
2026-05-13 07:41:35 -04:00
8312e9d901
Extend FSM Detect to support 'Wide State Encodings' ( #7573 )
2026-05-13 06:59:22 -04:00
9588e67ca9
V3Timing: pre-clear destructive event state before dynamic waits ( #7340 )
...
When lowering dynamic event controls, destructive pre-clear updates were inserted with addHereThisAsNext() on the original node and then that node was replaced. This could leave leaked/orphaned nodes under leak-checking runs.
Build an explicit replacement stmt chain instead:
[pre-clear stmts] -> trigger loop -> awaitResumption,
and replace the original control with the chain head. Keep the loop-only path unchanged when no destructive pre-clear is needed.
2026-05-12 19:01:37 +01:00
67b21e4c62
Fix segmentation fault when using --trace with --lib-create ( #7299 ) ( #7518 )
2026-05-12 10:16:47 -04:00
05f6db7970
Optimize emitting to_string() for compiler speedup ( #7468 )
...
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
2026-05-12 09:49:21 -04:00
0ebe01a778
Support new FST writer API ( #6871 ) ( #6992 )
2026-05-12 07:39:43 -04:00
bdcdc10966
Fix floating point compile warning on min/max delays.
2026-05-11 19:50:48 -04:00
b27e7c02ee
Tests: Prefer --binary over timing multipliers
2026-05-11 19:50:48 -04:00
d2047e5bad
Commentary: Changes update
2026-05-11 19:50:48 -04:00
cf9334f2c1
Fix error on mixed-initialization ( #7352 ) ( #7357 )
2026-05-11 18:32:55 -04:00
18e06b1e7d
Fix display of %m in non-first argument ( #7574 ).
...
Fixes #7574 .
2026-05-11 08:18:34 -04:00
b0d58bbcef
Support SVA goto repetition with range `[->M:N]` ( #7569 )
2026-05-11 07:07:51 -04:00
f67159de30
Extend FSM coverage detection to case-free FSMs - Use - if/else chains ( #7561 )
2026-05-10 13:12:58 -04:00
1630a2724b
Commentary: Changes update
2026-05-09 19:22:47 -04:00
c69c11b2db
Support procedural continuous assign/deassign ( #7493 )
2026-05-08 19:01:11 -04:00
8eca6b8fe7
Fix regression rejecting boolean `!x` inside sequence expressions ( #7549 ) ( #7551 )
...
Fixes #7549 .
2026-05-08 18:34:28 -04:00
5820d2936c
Support writing to inout in fork after timing ( #7345 )
2026-05-08 16:35:34 -04:00
a3003a2d0f
Add 15 new DFG peephole optimizations ( #7553 )
...
- FOLD_SELF_SUB: x - x -> 0
- REMOVE_DIV_ONE / REMOVE_DIVS_ONE: x / 1 -> x (unsigned and signed)
- REMOVE_MUL_ZERO / REMOVE_MUL_ONE / REMOVE_MULS_ZERO / REMOVE_MULS_ONE:
0 * x -> 0 and 1 * x -> x (unsigned and signed)
- REPLACE_NOT_LT/GTE/GT/LTE and their signed counterparts: eliminate a
Not vertex by flipping the comparison operator
Test signals for the NOT-of-comparison GT/GTE variants use unique shift
amounts to prevent intra-pass CSE from merging their DfgGt/DfgGte vertices
with those produced when the complementary LT/LTE patterns fire, which
would otherwise trigger the !hasMultipleSinks() guard.
2026-05-08 12:39:33 -05:00
7c5069c7df
Fix exponential expansion in V3Gate ( #7550 )
...
Unfortunate constellation of combinational assignments could be inlined
by V3Gate yielding an exponential expansion (added test used to consume
4GB+ memory and generate 3GB+ code).
2026-05-07 22:01:08 -05:00
752b77ea77
Fix events in observed region ( #7546 )
2026-05-07 17:02:41 -04:00
1a367a13fc
Fix side effect internal error ( #7519 ) ( #7540 ) ( #7544 )
2026-05-07 09:21:04 -04:00
ce34f1a070
Improve FSM Detection when state variables are non-enums ( #7529 )
2026-05-07 06:53:19 -04:00
d5f9385e9c
Fix class::localparam during elaboration ( #7524 ) ( #7534 )
2026-05-06 11:46:33 -04:00
22db9d2c66
Add mnemonic to parameter constants in JSON for FSM Coverage ( #7531 )
2026-05-06 07:25:03 -04:00
a2874b324a
Tests: Add virtual interface scheduling convergence tests ( #7323 test) ( #7536 )
2026-05-05 19:17:53 -04:00
0e423a4b39
Fix `+verilator+seed` to default to 1, and 0 to randomly select ( #7325 ) ( #7516 )
2026-05-05 12:10:51 -04:00
9a24b3d7ba
Commentary: Changes update
2026-05-04 18:00:37 -04:00
fc49811fd7
Support randsequence production function ports ( #7522 )
2026-05-04 11:28:17 -04:00
4e349971d3
Support `s_eventually` ( #7291 ) ( #7508 )
2026-05-04 09:57:03 -04:00
bc1acc8aa3
Support followed-by operators `#-#` and `#=#` in properties ( #7523 )
2026-05-04 08:10:37 -04:00
8011f9a796
Internals: V3AssertNfa: hoist sampled(propp) into a per-property temp ( #7502 ) ( #7525 )
...
Fixes #7502 .
2026-05-02 12:13:58 -04:00
659274e45d
Fix array indexing side effects in compound assignments ( #7519 )
2026-05-01 20:35:51 -04:00
25d4827bd5
Internals: Four state pre-pull (types) ( #7520 )
2026-04-30 16:56:15 -04:00
ec03edcddd
Support functions on RHS of force ( #7491 )
...
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
2026-04-30 10:38:07 -04:00
dd75c4cd1b
Revert: 21020ea2: Support printing enum names for %p and %s ( #5523 revert) ( #7338 revert) ( #7521 test)
2026-04-30 10:29:47 -04:00
021f5f7d02
Apply 'make format'
2026-04-30 11:23:36 +00:00
7f01806e15
Improve FSM coverage detection ( #7490 )
2026-04-30 07:22:34 -04:00
21020ea2d1
Support printing enum names for %p and %s ( #5523 ) ( #7338 )
2026-04-30 07:15:38 -04:00
d15b1fba94
Fix $bits on local struct with chained-interface ( #7515 ) ( #7517 )
2026-04-30 07:12:11 -04:00
4befec4463
Support rand_mode() on static rand class members ( #7484 ) ( #7510 )
2026-04-29 17:07:27 -04:00
4ebc4f1eee
Fix V3Assert stale failsp after recursive iteration ( #7500 ) ( #7513 )
...
Fixes #7500 .
2026-04-29 05:18:12 -04:00
8f18f0cf22
Fix internal error instead of missing prototype error ( #7485 ). [Alex Solomatnikov]
...
Fixes #7485 .
2026-04-28 17:59:18 -04:00
6aebcd2b1c
Commentary: Changes update
2026-04-28 17:56:24 -04:00
0188679631
Fix expression coverage in loops ( #7511 )
2026-04-28 15:33:41 -04:00
76c1b26e3b
Support `obj.randomize(null)` ( #7487 ) ( #7509 )
2026-04-28 15:31:08 -04:00
93c594e18a
Fix mailbox#(packed_struct) type mismatch with parameterized class ( #7494 ) ( #7495 )
2026-04-28 15:25:37 -04:00
bb1bfabab3
Fix internal error on multi-cycle SVA under default clocking ( #7472 ) ( #7506 )
2026-04-28 06:50:16 -04:00
327fc4ffbe
Support randomize() with (identifier_list) {constraint_block} ( #7486 ) ( #7507 )
...
Fixes #7486 .
2026-04-28 06:10:53 -04:00
5d1b4fe8a8
Fix generic interface port forwarded to a nested instance ( #7454 ) ( #7457 )
...
Fixes #7454 .
2026-04-27 21:15:25 -04:00
c460f0e6a0
Apply 'make format'
2026-04-27 21:05:49 +00:00
4437ae79e7
Fix virtual interface method call inlining and IMPURE suppression ( #7505 )
2026-04-27 16:58:30 -04:00
cee174c4b6
Fix inlining static initializer in V3Gate ( #7503 )
...
V3Gate could incorrectly inline a non-constant static initializer of
a variable into the use site if there are no other drivers. Disabling.
Fixes #5381
2026-04-27 16:58:38 +01:00
c8893b64de
Support `always` / `always[m:n]` / `s_always[m:n]` property operators ( #7482 )
2026-04-27 08:20:34 -04:00
e4803f29b6
Apply 'make format'
2026-04-26 10:29:56 +00:00
982b9ee219
Fix std::randomize internal error on static member of different class ( #7498 ) ( #7499 )
...
Fixes #7498 .
2026-04-26 06:24:40 -04:00
Geza Lore
github action
Nikolai Kumar
Wilson Snyder
Ryszard Rozak
Matthew Ballance
Mateusz Gancarz
Yogish Sekhar
Nick Brereton
Todd Strader
Artur Bieniek
Igor Zaworski
Krzysztof Bieganski
Tracy Narine
Kamil Danecki
Yilou Wang
Paul Swirhun
Muzaffer Kal
em2machine
Zubin Jain
Pawel Kojma
Cookie
Lucas Amaral
Benjamin Collier
Michael Rogenmoser
Pawel Klopotek
Greg Davill
Stuart Morris
Thomas Brown
Jakub Michalski
anonkey
Yu-Sheng Lin
Varun Koyyalagunta
Miguel
Bartłomiej Chmiel
Nikolay Puzanov
hjsanjana