4e38caa248
Apply 'make format'
2026-02-13 20:21:52 +00:00
5975f9d96d
Merge remote-tracking branch 'upstream/master' into nba_fix
2026-02-13 12:20:44 -08:00
3116cd92a9
Apply 'make format'
2026-02-13 20:11:06 +00:00
c8180754cc
use ValueQueue for suspendable block
2026-02-13 12:09:04 -08:00
e0c626e48a
Fix constant propagating DPI-written variables ( #7074 )
2026-02-13 18:28:14 +00:00
7d71c3bb76
Fix of event triggering with V3Life ( #6932 effect) ( #7068 partial) ( #7072 )
2026-02-13 11:01:19 -05:00
0aaf17acfd
Internals: Add referencing flags in Dfg dumps
2026-02-13 14:20:38 +00:00
64511d30b6
Internals: Fix marking `AstVar`s as class members ( #7070 )
2026-02-13 07:45:13 -05:00
3dd2b762e7
Fix scope tree in traces in hierarchical mode ( #7042 )
2026-02-12 20:54:03 -05:00
b84466ec10
Commentary: Changes update
2026-02-12 18:24:05 -05:00
b0fdbff6eb
Verilog format
2026-02-12 18:23:56 -05:00
13b1321985
Tests: Fix uvm_pkg_packer comment
2026-02-12 17:46:53 -05:00
fed41aba91
Fix UNUSED / UNDRIVEN for unused functions ( #6967 )
2026-02-12 11:01:14 -05:00
9b1b9a5b3b
Fix randc cyclic behavior broken with constraints ( #7029 ) ( #7035 )
2026-02-12 10:58:04 -05:00
446bec3d1a
Fix event triggering ( #6932 )
2026-02-11 10:35:59 -08:00
e41436bd4a
Support inherited and nested pre/post_randomize callbacks ( #7049 ) ( #7053 )
2026-02-11 09:33:57 -08:00
554fcef627
Fix rand_mode()/constraint_mode() when used as function arguments ( #7051 ) ( #7055 )
2026-02-11 09:33:09 -08:00
996a4b6e1a
Fix constraint_mode()/rand_mode() in constructor being overwritten by init code ( #7054 )
2026-02-11 09:32:08 -08:00
84350859e0
Support System Functions in Constraint Blocks ( #7028 ) ( #7036 )
2026-02-11 05:19:25 -08:00
5d12ae3a2f
Fix non-member identifiers used inside constraints ( #7033 )
2026-02-11 05:18:24 -08:00
22dc437dbb
Support std::randomize() for queue, dynamic array, and associative array variables ( #7044 )
2026-02-10 18:24:25 -08:00
67bff893bf
Fix whitespace
2026-02-10 20:17:22 -05:00
2bb807a931
Fix Inline foreach constraints on dynamic arrays of class objects ( #7030 ) ( #7037 )
2026-02-10 15:22:31 -08:00
a031dd1a22
Fix tracing without module inlining to match with inlining ( #7041 )
...
This is an attempt to generate an identical trace file scope hierarchy
both with and without -fno-inline. Primarily because it's needed for
testing in upcoming patch, but also improves consitency prior to #7001
2026-02-10 21:05:41 +00:00
021e0ba81b
Testing: Bump vcddiff to latest ( #7040 )
2026-02-10 20:08:23 +00:00
925543676e
Fix rand_mode() on nested object variables causes Z3 solver error ( #7031 ) ( #7034 )
2026-02-10 13:59:09 -05:00
8791e6c5f2
Support constraint_mode() on static constraints ( #7027 ) ( #7038 )
2026-02-10 13:58:35 -05:00
6303eb45ce
Fix multidim dynamic array elements passed to ref argument ( #7023 )
2026-02-10 08:46:04 +01:00
a660fa54a7
Fix unique constraint in derived class ( #7022 )
2026-02-09 09:56:38 -05:00
a28bd5a085
Apply 'make format'
2026-02-09 03:48:11 +00:00
e36838ad8e
Fix tristate enables for -fno-inline ( #7016 ) ( #7019 )
2026-02-08 22:47:09 -05:00
5a236dd35d
Change INITIALSTATIC to also report on processes, per IEEE ( #7020 )
2026-02-08 20:47:12 -05:00
ba194f3790
Tests: Avoid implied static variables, to avoid future warning
2026-02-08 18:20:28 -05:00
9ba625225d
Internals: Minor cleanups preparing for initialization fixes. No functional change.
2026-02-08 17:54:04 -05:00
8700617fae
Internals: Cleanup CRESET verilog and other misc fixes
2026-02-08 17:53:56 -05:00
3752102879
Internals: Clean up V3Reorder ( #7015 )
...
This is primarily cleanup, but there are 2 functional changes included:
- It used to accidentally reorder bodies of AstNodeIf that were outside
an AstAlways. Now it will not touch anything outside an AstAlways.
- Removed one redundant edge from the graph which perturbs the result of
V3Graph::acyclic. This should make no difference for the actual
intended result of reordering NBAs to eliminate shadow variables.
2026-02-08 16:09:53 +00:00
e12c62c070
Change JSON dumps to not include booleans that are false ( #6977 ).
...
Fixes #6977 .
2026-02-08 07:59:55 -05:00
c1db30523f
Commentary ( #7014 )
...
Fixes #7014 .
2026-02-08 07:48:12 -05:00
0c83594e1e
Fix variable conflict when multiple cells with unused input defaults
2026-02-07 18:11:55 -05:00
bbb231dfe2
Internals: Minor cleanups preparing for initialization fixes. No functional change.
2026-02-07 14:16:12 -05:00
9068e2e5b5
Commentary: Changes update
2026-02-07 14:15:43 -05:00
bb0e1c8c61
Optimize temporary insertion for concatenations in Dfg ( #7013 )
...
Add a new Dfg pass 'pushDownSel'. This will try to move selects through
a tree of concatenations in order to eliminate temporary nodes holding
intermediate concatenation results. This can get rid of a lot of
variables when packed arrays are assigned in parts (e.g. bit-wise).
2026-02-07 18:06:12 +00:00
abdac02b50
Apply 'make format'
2026-02-07 15:07:33 +00:00
8922794088
Tests: Add test cases for interface array access with loop variable index ( #1418 tests) ( #7011 )
2026-02-07 10:06:37 -05:00
6100c39764
Internals: Assign trace codes starting from zero ( #7007 )
...
Use uint32_t max value instead of zero as sentinel value for a trace
code being unassigned. Prep for follow on patch.
Note the actual trace file will still start codes from one, the codes
in the model are just an offset from the base code.
2026-02-07 14:01:53 +00:00
dc26dd601d
Fix internal error - virtual interface not found ( #7010 )
2026-02-06 22:20:10 +00:00
9a8538fafa
Support signed multiplication in constraints ( #7008 )
2026-02-06 10:14:54 -05:00
60b52a4986
Apply 'make format'
2026-02-06 11:39:13 +00:00
b14d65a787
Support modport expression syntax + nested ( #2601 ) ( #5581 ) ( #7005 )
2026-02-06 06:38:16 -05:00
2215d01d6b
Fix hierarchical interface/modport issues ( #5941 ) ( #6997 )
2026-02-05 22:15:30 -05:00
github action
Ethan Sifferman
Geza Lore
Igor Zaworski
Geza Lore
Pawel Kojma
Wilson Snyder
Veripool API Bot
Todd Strader
Yilou Wang
Ryszard Rozak
Leela Pakanati