Geza Lore
573c2e61a6
Internals: Make V3LiftExpr non optional ( #8369 )
2026-09-16 12:29:56 -04:00
Pawel Kojma
282b898b21
Use VIsCached for checking purity of arguments in AstCMethodHard ( #8350 )
2026-09-16 11:23:34 -04:00
Edmund Lam
529d98918a
Fix deferring parameters for class::localparam access ( #7746 ) ( #7748 )
2026-09-15 21:17:26 -04:00
Artur Bieniek
c9e3f59f26
Fix stale reads of continuously assigned forceable signals ( #8223 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-15 21:15:37 -04:00
Bartosz Skorowski
3e30f4476a
Support constant expressions in bins ( #8309 )
...
Signed-off-by: Bartosz Skorowski <[email protected] >
2026-09-15 21:15:25 -04:00
Drew Risinger
e0e0011b36
Optimize recursion depth in Dfg circular driver tracing ( #8272 )
2026-09-15 23:23:54 +01:00
Wilson Snyder
a9ddb4fab3
Revert "Fix wide enum names" ( #8344 ) ( #8362 )
2026-09-15 13:42:35 -04:00
Geza Lore
3343f4d6c8
Fix V3InstrCount with recursive functions ( #8361 )
...
Fixes #8327
2026-09-15 18:30:16 +01:00
Marco Bartoli
253f51f1dc
Fix %p format on class members ( #8360 )
2026-09-15 09:43:12 -04:00
Mike Murunov
270c528afd
Fix missing implicit net for bufif/notif/nmos/pmos data input ( #8353 ) ( #8354 )
2026-09-14 17:31:51 -04:00
Marco Bartoli
c65f312d6e
Fix wide enum names ( #8344 )
2026-09-14 16:29:42 -04:00
Dragon-Git
377865e2a0
Fix class-qualified self reference to a typedef in a parameterized class ( #8348 ) ( #8349 )
2026-09-14 10:54:15 -04:00
Artur Bieniek
6a57cf10f4
Obtimize NBA assertions by keeping all writers before readers ( #8326 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-14 10:29:27 -04:00
CatalpaEel
96e6bf02c4
Optimize wide four-state constant operations in V3Number ( #8333 )
2026-09-14 10:12:30 -04:00
Marco Bartoli
0bad0faca6
Fix ignoring cross_auto_bin_max instead of hard error ( #8340 )
2026-09-13 14:59:42 -04:00
Wilson Snyder
547eb6a836
Remove deprecated --structs-packed.
2026-09-13 14:54:34 -04:00
Wilson Snyder
e172e94b30
Fix pattern type matching against nested aggregates ( #7304 ).
...
Fixes #7304 .
2026-09-13 14:48:07 -04:00
Marco Bartoli
fb8bcdc0df
Fix format of signed enums ( #8338 )
2026-09-13 13:34:10 -04:00
Marco Bartoli
47ead4e89d
Support logic and set operations on binsof ( #8306 )
2026-09-13 12:59:10 -04:00
Kristof Marien
298922d887
Fix parameterized class nested in a parameterized interface ( #8328 ) ( #8329 )
2026-09-12 15:31:10 -04:00
Wilson Snyder
4fedb791ed
Add -fno-dead-members and optimize dead class member functions. ( #8330 )
2026-09-12 15:22:42 -04:00
Wilson Snyder
3bf0018354
Optimize away __Vconfigure if empty function
2026-09-12 14:36:45 -04:00
Wilson Snyder
d523500b9b
Optimize UVM reporting functions as branch-unlikely
2026-09-12 13:54:15 -04:00
Wilson Snyder
a8a50bd8a0
Commentary
2026-09-12 12:22:14 -04:00
Wilson Snyder
c7b1151f13
Fix unlinked VlProcess error
2026-09-12 11:00:29 -04:00
Wilson Snyder
73957647cc
Add IEEE reference to some warnings
2026-09-12 09:06:09 -04:00
Wilson Snyder
d048b62c13
Fix marking inherited virtual functions (part 2)
2026-09-12 08:55:45 -04:00
Wilson Snyder
012b647833
Fix marking inherited virtual functions
2026-09-12 08:32:53 -04:00
Todd Strader
0c574618d0
Support VPI interface references ( #8081 )
2026-09-12 05:38:20 -04:00
Marco Bartoli
4aeb3dbc5a
Fix wide typed pattern formatting primitives ( #8325 )
2026-09-11 18:11:14 -04:00
Wilson Snyder
bd32c0e4c1
Internals: Refactor V3Dead ftask removal to use graph ( #8322 )
2026-09-11 06:52:25 -04:00
Andrii
2421c7b73b
Fix property and sequence line coverage ( #8314 )
...
Signed-off-by: Andrii Andrieiev <[email protected] >
2026-09-10 18:00:24 -04:00
Artur Bieniek
b06bd46dc9
Avoid duplicate lookup in NFA property recursion guard ( #8321 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-10 20:46:54 +02:00
Artur Bieniek
5b24226b3b
Avoid unnecessary per-vertex allocations in NFA lowering ( #8319 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-10 20:21:37 +02:00
Artur Bieniek
09fd15af7b
Narrow NBA shadow copies for partial writes ( #8266 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-10 11:38:46 -04:00
Kamil Danecki
ee792e235a
Support rand dynamic arrays used inside with clause of randomize ( #8246 )
...
Signed-off-by: Kamil Danecki <[email protected] >
Signed-off-by: Igor Zaworski <[email protected] >
2026-09-10 10:40:30 -04:00
Artur Bieniek
557c21a337
Support multiplicity in SVA shapes that use NFA rings ( #8267 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-10 10:39:35 -04:00
Wilson Snyder
24692ad3ef
Internals: Change user1-4 storage to uint64 ( #8317 )
2026-09-10 06:45:54 -04:00
Wilson Snyder
3c8630744d
Internals: V3Dead refactor and test update. No functional change.
2026-09-10 06:43:47 -04:00
Geza Lore
1d2781091c
Internals: Color densely in V3Graph::weaklyConnected, and return the count
...
No algorithm depends on this, so can be changed, later improvement will.
No functional change.
2026-09-09 21:11:23 +01:00
Geza Lore
5bf74e34b1
Internals: Move SplitReorderBaseVisitor next to SplitVisitor
...
Pure code movement to minimize change in subsequent patch.
2026-09-09 13:02:42 +01:00
Geza Lore
e4f210eb38
Optimize Dfg algorithms with an open addressing hash table ( #8307 )
...
This patch introduces V3HashTable.h, which defines an open addressing,
linear probing hash table. The table implement the public V3HashSet and
V3HashMap templates, which are generic containers. The benefit of this
over std::unordered_map and std::unordered_set is far better memory
locality during lookup. (The STL containers use chaining and require a
new heap allocation for every insertion, similarly probing involves
pointer chasing on collisions).
The new data structure is use in V3DfgCache, and V3DfgCse and yields a
significant speed improvement of those passes on large designs.
2026-09-08 23:21:13 +01:00
Geza Lore
b835308a31
Optimize AstNodeDType::skipRefp to not track the type chain ( #8310 )
2026-09-08 18:00:08 -04:00
Kornel Uriasz
f8c296ce2e
Support unique constraint inside std::randomize ( #8241 )
...
Signed-off-by: Kornel Uriasz <[email protected] >
2026-09-08 11:08:34 -04:00
Kornel Uriasz
47b9fba5e5
Fix array-size constraint on arrays inside base cass ( #8219 )
...
Signed-off-by: Kornel Uriasz <[email protected] >
2026-09-08 09:11:02 -04:00
Martijn Wobbes
d70d1e5cd0
Fix DECLFILENAME warning on nested declarations ( #8302 )
2026-09-08 07:15:37 -04:00
Artur Bieniek
76df8b4a7e
Fix multidimensional packed array type handling ( #8235 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-07 14:04:17 -04:00
Matthew Ballance
048d18a84f
Add covergroup runtime registry ( #8134 )
2026-09-07 14:02:03 -04:00
Artur Bieniek
cd2475fbd4
Support non-overlapped property implications correctly ( #8268 )
...
Signed-off-by: Artur Bieniek <[email protected] >
2026-09-07 13:50:13 -04:00
Igor Zaworski
9c6126b834
[ #99994 ] Fix of detecting non-inlined awaits in V3Delayed.cpp ( #7982 )
...
Signed-off-by: Igor Zaworski <[email protected] >
2026-09-07 13:46:30 -04:00