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
831396f848
Commentary: Changes update
2026-05-12 09:52:18 -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
a5a1ed55d3
Apply 'make format'
2026-05-12 11:40:38 +00: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
edab09333c
Apply 'make format'
2026-05-11 22:33:56 +00: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
485c0e746c
Apply 'make format'
2026-05-10 17:13:56 +00:00
f67159de30
Extend FSM coverage detection to case-free FSMs - Use - if/else chains ( #7561 )
2026-05-10 13:12:58 -04:00
303615bb37
Support TERMUX ( #7559 ). [Laurent CHARRIER]
...
Fixes #7559 .
2026-05-10 08:20:32 -04:00
2bc294ccad
Commentary: Add AI policy ( #7215 )
2026-05-09 19:23:17 -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
f85641e40d
Tests: Use top shell w/ xrun ( #7556 )
2026-05-08 16:03:45 -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
aa68ae953e
Tests: Make xrun fail on stop ( #7547 )
2026-05-08 07:39:38 -04: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
db8b6ce26d
Add peak memory usage to --stats
2026-05-07 20:28:47 -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
252afef499
Apply 'make format'
2026-05-06 11:26:07 +00:00
22db9d2c66
Add mnemonic to parameter constants in JSON for FSM Coverage ( #7531 )
2026-05-06 07:25:03 -04:00
227812ecce
Internals: Fix unused variables ( #7539 )
2026-05-06 06:51:05 -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
d2ae094d43
Commentary ( #7532 ) ( #7533 )
2026-05-04 18:01:55 -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
ddcb04b921
CI: Run Servant in RTLMeter jobs
2026-05-03 20:19:15 -04:00
082847a1a2
Fix std::unique_ptr with incomplete type for clang ( #7501 ) ( #7526 )
...
Fixes #7501 .
2026-05-02 12:14:54 -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
Wilson Snyder
Thomas Brown
Geza Lore
Krzysztof Bieganski
Yilou Wang
Jakub Michalski
Yogish Sekhar
Nick Brereton
anonkey
github action
Yu-Sheng Lin
Cookie
Artur Bieniek
Kamil Danecki
Todd Strader
Varun Koyyalagunta
em2machine
Michael Rogenmoser
Miguel
Bartłomiej Chmiel
24bit-xjkp