1d7f5ed33e
Commentary
2025-12-21 18:55:51 -05:00
4201450a8a
Fix class reference throwing cannot detect changes error ( #6851 ).
2025-12-21 18:44:55 -05:00
ef5ca74e94
Tests: Better handle multiline statements in t_dist_warn_coverage
2025-12-21 16:15:33 -05:00
c0a0f0dab9
Optimize inlining small C functions and add `-inline-cfuncs` ( #6815 )
2025-12-21 13:14:50 -05:00
361ab194ff
Internals: Modport expression parsing and tests ( #2601 partial) ( #6848 )
2025-12-21 08:58:21 -05:00
a64b083b2a
Fix JSON missing `signed` indication ( #6845 ).
2025-12-20 22:11:09 -05:00
ffa87540cc
Fix randcase under fork ( #6843 ).
2025-12-20 21:25:01 -05:00
f990dd747e
Change metacomments to not enable warnings disabled in control file ( #6836 ) ( #6842 )
...
Track the location based message/feature enable bits separately for code
and control file directives. A message/feature is disabled if disabled
either in the control file, or in code directives/metacomments. That is,
enabled only if both agree should be enabled.
2025-12-20 06:33:46 -05:00
3ceac0b37e
Fix parameterized class module parameters ( #6754 ) ( #6834 )
2025-12-19 12:57:15 -05:00
5244766b7b
Support reduction or in constraints ( #6840 )
2025-12-19 12:37:20 -05:00
47d1a50aa4
Fix setting thread count in VerilatedContext ( #6826 partial) ( #6841 )
2025-12-19 10:59:43 -05:00
a098e4894f
Fix JSON dump missing output ports ( #6751 ) ( #6831 )
2025-12-19 07:30:33 -05:00
c2c00888d6
Fix firing array selects of events ( #6829 ).
2025-12-18 20:45:22 -05:00
24e43f4ddd
Internals: Add assertion at expected expressions ( #6829 partial)
2025-12-18 20:37:11 -05:00
04a7b31b84
Fix false IMPLICITSTATIC on localparam ( #6835 )
2025-12-18 12:51:31 +00:00
41937ecbe4
Fix member select of variable without randmode ( #6800 ) ( #6833 )
2025-12-18 06:49:04 -05:00
b90865a08a
Change `--lint-only` and `--json-only` to imply `--timing` ( #6790 ).
2025-12-17 19:24:43 -05:00
12ff481689
REVERT 612237b7: Optimize trace code for faster compiles on repeated types ( #6707 ) ( #6832 partial).
2025-12-17 17:37:35 -05:00
d10e841b56
Skip properties for expression coverage ( #6830 )
2025-12-17 13:51:40 -05:00
bd38775ad2
V3DfgPasses: Optimize mux with UInt To OneHot ( #6822 )
...
Signed-off-by: Yangyu Chen <cyy@cyyself.name>
2025-12-17 12:07:21 -05:00
6f43ad8607
Fix type deduction for variable parameterized classes ( #6281 ) ( #6813 )
2025-12-17 08:08:44 -05:00
5115be6e6b
Fix duplicate name error with interface initial blocks ( #6804 ) ( #6805 ).
2025-12-16 20:57:58 -05:00
41c4f948fe
Support assert under assert ( #6146 ).
2025-12-16 20:45:31 -05:00
a9ef4b3ff1
Fix nested struct within parameter port list ( #6818 ) ( #6824 )
2025-12-16 18:08:49 -05:00
35dcf70f48
Optimize trace code for faster compiles on repeated types ( #6707 )
2025-12-16 17:52:00 -05:00
394d9cf168
Support `-libmap` ( #5891 partial) ( #6764 )
2025-12-16 11:21:46 -05:00
47a4f7fb9b
Improve reusability of --dump-inputs output ( #6812 )
2025-12-16 11:08:19 +00:00
25f72e4305
Support force assignments to unpacked array elements of simple types (partial #4735 ) ( #6787 )
2025-12-16 08:35:59 +01:00
7e67f73844
Fix process reference giving no return statement error ( #6767 ) ( #6823 )
2025-12-15 18:09:45 -05:00
8da8ca4203
Fix error on resized lvalues with warning suppressed ( #6497 ) ( #6816 )
2025-12-15 06:49:32 -05:00
dc00bf2484
Fix 'void(' mis-throwing assertion
2025-12-13 21:43:27 -05:00
27558c9349
Internals: Reorganize system function/task parse rules. No functional change.
2025-12-13 21:34:28 -05:00
5634795140
Improve message on cast assertion failure.
2025-12-13 20:51:13 -05:00
aff501f5c4
Fix resolution of specialized typedefs ( #6754 ) ( #6808 )
2025-12-12 15:20:15 -05:00
2995748d46
Fix parameterized class function ( #6659 ) ( #6802 )
2025-12-12 04:17:08 -08:00
f097e8a34e
Fix write variable placement for global constraints ( #6740 ) ( #6750 ) ( #6797 )
2025-12-11 14:16:34 -05:00
af1be26b96
Fix O(n*2) analysis in const-bit-op-tree ( #6791 )
...
Note this might miss some cases where a sub-tree within an And/Or/Xor
tree is optimizeable, but not the whole tree, but in practice this seems
to work better than the alternative of keeping a set of failed nodes and
bail early.
2025-12-11 14:32:25 +00:00
afc4bed0f8
Fix generate function(s) inside of generate blocks ( #1011 ) ( #6789 )
2025-12-10 20:53:19 -05:00
5d768a4a20
Internals: Fix rand dump text
2025-12-10 19:07:51 -05:00
37318ab2bd
Fix input sampling of clocking block signals ( #6788 )
2025-12-10 10:59:08 -05:00
075d624b29
Add SUPERNFIRST error on super.new on non-first statement ( #6784 ).
2025-12-09 19:22:59 -05:00
0f355c717e
Fix `disable iff` in simple properties ( #6783 )
2025-12-09 07:18:32 -05:00
ec38fb723d
Internals: Remove added debug to avoid false leak warning
2025-12-08 21:33:21 -05:00
a3f913c5b1
Fix randomize call in parameterized class
2025-12-08 20:26:53 -05:00
0f46f6eb40
Internals: Fix missing override
2025-12-08 20:17:40 -05:00
29ae520e69
Fix class param static not found again error ( #6768 ).
2025-12-08 20:11:28 -05:00
bd87dfc579
Internals: Add --debug-exit-elab; remove --debug-exit-uvm*
2025-12-08 18:02:46 -05:00
d0a5da2445
Fix typedef derived from type defined inside interface ( #3441 ) ( #6776 )
2025-12-08 15:36:21 -05:00
7e55c62cac
Improve combinational cycle fixup in Dfg ( #6744 ) ( #6746 )
...
Now that we have an efficient algorithm to analyse which bits in a
combinational cycle are not dependent on the cycle, can simplify the
cycle fixup algorithms. Remove FixUpSelDrivers: this was a heuristic
to save on the expensive independent bits analysis, but itself can
cause a performance problem on certain inputs that result in a large
number of attempted fixups. Doing this simplifies the driver tracing
algorithm, and because we now only attempt to trace drivers that are
known to be independent of the cycles, it should always succeed...
Unless of course there is a mismatch between the independent bit
analysis ant the driver tracing algorithm. In such case (when we managed
to prove independence, but then fail to trace a driver), we will crash,
which is still easier to sv-bugpoint than a performance bug.
Fixes #6744
2025-12-08 18:43:21 +00:00
1baa832efc
Fix reordering of function body inlined on RHS of <= NBA ( #6780 )
2025-12-08 18:42:52 +00:00
9a23711ff9
Fix stale pointers in VerilatedImpData::m_hierMap ( #6726 )
2025-12-07 15:42:29 -05:00
ae480c5f76
Fix enum item references in class extends with parameters.
2025-12-07 15:26:52 -05:00
8130fed777
Fix pre/post_randomize on extended classes ( #6467 ).
2025-12-07 14:14:48 -05:00
ba9d6df20c
Fix class-in-class extends with parameters ( #6773 ).
2025-12-07 13:38:25 -05:00
4b02e32314
Fix DPI under param class ( #6733 partial)
2025-12-07 13:30:54 -05:00
7946e9d197
Internals: Add some missing cfunc attribute dumps
2025-12-07 13:25:37 -05:00
35a794687b
Internals: Add some additional dangling checks. No functional change intended
2025-12-07 13:25:37 -05:00
0e03ab2a57
Fix crash when super.new() called without a base class ( #6772 )
2025-12-06 18:08:51 -05:00
040484cc3f
Fix extern function that returns parametrized class ( #4924 ).
2025-12-06 16:16:06 -05:00
5278f42025
Fix Dfg assertion on out of bounds selects
2025-12-06 15:31:27 +00:00
c2cba8bfc6
Fix localparam type assignment from interface type parameters ( #6637 ) ( #6732 )
2025-12-06 09:42:59 -05:00
ba3794a495
Apply 'make format'
2025-12-06 14:12:22 +00:00
8c252952db
Support `config` instance clauses ( #5891 partial) ( #6745 )
2025-12-06 09:11:20 -05:00
18dd44e970
Fix --lib-create with multi-bit clocks ( #6759 )
2025-12-05 15:21:35 +00:00
e2c05ae15e
Fix select assignment expansion ( #6757 )
2025-12-05 10:07:53 -05:00
df7726c40d
Fix Dfg reusing volatile variables
...
Forceable/externally written variables cannot be used as the canonical
result variable for a Dfg value as the variables value can be
inconsistent with its Dfg drivers (e.g. when forced).
2025-12-05 14:12:36 +00:00
cfada791e6
Internals: Fix leak in covergroup, last commit
2025-12-05 04:14:24 -05:00
2f4b178957
Support parsing only of covergroup.option.option_name
2025-12-04 21:55:55 -05:00
f2c2daa017
Throw UNSUPPORTED on force / release statements with complex select expressions ( #6755 )
2025-12-04 14:06:47 +01:00
1fc86fd2f1
Fix randomize called within func/task ( #6144 ) ( #6753 )
...
Co-authored-by: Udaya Raj Subedi <075bei047.udaya@pcampus.edu.np>
2025-12-04 07:18:07 -05:00
22cd9bcadc
Support rand_mode in global constraint gathering ( #6740 ) ( #6752 )
2025-12-04 07:16:03 -05:00
4426aff3d3
Internals: Fix coredump when dump with bad null enum itemp()
2025-12-03 21:35:59 -05:00
7957701db8
Suppress unsupported for unused constant sequences
2025-12-03 21:23:48 -05:00
3fc70b61d0
Fix internal fault when cross-class calling with DPI ( #6735 ) ( #6742 )
...
Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
2025-12-02 22:05:59 -05:00
9a1dba357e
Fix `randsequence return` inside function
2025-12-02 17:54:40 -05:00
60fe2c873c
Optimize trace initialization code size ( #6749 )
2025-12-02 07:19:45 -05:00
e25c66de07
Support complex std::randomize patterns ( #6736 ) ( #6737 )
2025-12-01 16:26:16 -05:00
b9b6eb61d9
Support randsequence ( #6131 )
2025-11-30 09:04:42 -05:00
35615c268b
Fix Dfg independent bits analysis performance ( #6731 ) ( #6743 )
...
This removes a factor N from DfgBreakCycles, by doing the necessary data
flow analysis for the entire graph up front, and resulting the result for
all subsequent cycle fixups in the current iteration.
Fixes #6731
2025-11-29 19:01:22 +00:00
287d8aef9e
Fix duplicate member on interface always
2025-11-29 10:24:37 -05:00
1583c79a8a
Add assert ( #6740 partial)
2025-11-28 09:55:19 -05:00
f2e05bc0b7
Support unpacked struct in localparam ( #6053 partial) ( #6708 )
2025-11-27 23:17:18 +04:00
2c5ff3f63f
Fix fork scheduling semantics ( #6730 )
...
Signed-off-by: Artur Bieniek <abieniek@internships.antmicro.com>
2025-11-26 15:52:53 +03:00
f4654a451b
Support array reference arguments into 'std::randomize()' ( #6384 ) ( #6719 )
2025-11-26 15:50:24 +03:00
8293a8d035
Fix multitop cross references ( #6699 ).
2025-11-26 06:09:29 -05:00
9155e2529b
Internals: Add AstLoop statement constructor. No functional change.
2025-11-25 09:05:42 -05:00
7cfe9b5356
Fix --prof-exec using --lib-create
2025-11-25 10:08:03 +00:00
d2ce5e62e7
Internals: Factor out --prof-exec section handling, add debug code
2025-11-25 10:08:03 +00:00
840c8f5782
Internals: Auto-set useRandimizeMethods if new a AstRandCase. No functional change
2025-11-23 17:14:19 -05:00
6ab8d56993
Optimize combinational loops through sign extension ( #6724 )
2025-11-23 19:26:51 +00:00
28c78d3f9a
Apply 'make format'
2025-11-23 01:21:13 +00:00
9346b98cb6
Support `config` cell clauses ( #6717 )
2025-11-22 20:17:17 -05:00
9632c614be
Fix X handling in UDPs ( #6723 )
2025-11-22 20:09:49 -05:00
087ca15138
Support clocking output delay `1step` ( #6681 ).
2025-11-22 17:40:40 -05:00
6bba9f6c40
Internals: Defer interface typedefs, and add more tests ( #3441 tests)
2025-11-21 19:42:22 -05:00
98d0eac149
Fix of deleting linked node in V3Randomize ( #6718 )
...
Signed-off-by: Igor Zaworski <izaworski@internships.antmicro.com>
2025-11-21 07:07:50 -05:00
0b8c369740
Add `sc_biguint` pragma ( #6712 )
2025-11-20 17:08:59 -05:00
0703159dbc
Apply 'make format'
2025-11-20 11:39:49 +00:00
a4e901135b
Support `config` default liblist ( #6714 )
2025-11-20 06:38:46 -05:00
7edf6d4749
Support `--top` specifying `config` name ( #6710 )
2025-11-19 20:23:02 -05:00
Wilson Snyder
Jose Drowne
Thomas Aldrian
Geza Lore
em2machine
Pawel Kojma
Yangyu Chen
Oleh Maksymenko
Yilou Wang
Todd Strader
Thomas Dybdahl Ahle
Luca Colagrande
Dan Ruelas-Petrisko
Ryszard Rozak
Krzysztof Bieganski
Alex Solomatnikov
Christian Hecken
Matthew Ballance
github action
Jonathan Drolet
Artur Bieniek
Geza Lore
Michael Bikovitsky
Igor Zaworski
Jakub Wasilewski
Dan Ruelas-Petrisko