luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
9,128 Commits 3 Branches 168 Tags 194 MiB
Commit Graph

9128 Commits

Author SHA1 Message Date
Ryszard Rozak d2824accb8 Add if for StructSel 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak b231727a1f Handle more complex array selects 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 0560332356 Switch to new forcedUpdate in handling of AstRelease 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak e72fc60179 Remove warning regarding complex array elem dtype 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 55c4a11116 Handle structs in Rd updates 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 77fda9683d Split long expression, throw error on unhandled type 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 8ee53a8e80 Fix handling of force assignments to real dtype vars 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 0efe6c735e TMP: Return nullptr in unhandled cases 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 442f4a3a72 Fix update of Rd vars 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 0885422372 WIP: Create nested loops in recursive function 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 06e8a06bad Don't use unpackDimensions 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 3dda440d17 Fix memory leaks 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak c159935321 Remove m_selIndices 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 91a9eef3d2 TMP: Restore previous way 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak d03d628ce2 Propagate changes for other expressions 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 26736c1156 Utilize clonep 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 1cfc7de87d Create lhsp of assignment by copying whole expression 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 1803aabf4f Keep old approach for packed types 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak cf56c288ad Remove unused variable 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak dd2e0f1d6f Add initialization of __En struct var 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak d0e6caee44 Remove unneeded nested if 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak 5acebddeb4 Don't throw error on unpacked struct 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:10 +01:00
Ryszard Rozak c1d4d7af10 Extract case with forcing struct to separate test 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2026-02-12 09:41:09 +01:00
Igor Zaworski 446bec3d1a
Fix event triggering (#6932) 2026-02-11 10:35:59 -08:00
Yilou Wang e41436bd4a
Support inherited and nested pre/post_randomize callbacks (#7049) (#7053) 2026-02-11 09:33:57 -08:00
Yilou Wang 554fcef627
Fix rand_mode()/constraint_mode() when used as function arguments (#7051) (#7055) 2026-02-11 09:33:09 -08:00
Yilou Wang 996a4b6e1a
Fix constraint_mode()/rand_mode() in constructor being overwritten by init code (#7054) 2026-02-11 09:32:08 -08:00
Yilou Wang 84350859e0
Support System Functions in Constraint Blocks (#7028) (#7036) 2026-02-11 05:19:25 -08:00
Pawel Kojma 5d12ae3a2f
Fix non-member identifiers used inside constraints (#7033) 2026-02-11 05:18:24 -08:00
Yilou Wang 22dc437dbb
Support std::randomize() for queue, dynamic array, and associative array variables (#7044) 2026-02-10 18:24:25 -08:00
Wilson Snyder 67bff893bf Fix whitespace 2026-02-10 20:17:22 -05:00
Yilou Wang 2bb807a931
Fix Inline foreach constraints on dynamic arrays of class objects (#7030) (#7037) 2026-02-10 15:22:31 -08:00
Geza Lore 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
Geza Lore 021e0ba81b
Testing: Bump vcddiff to latest (#7040) 2026-02-10 20:08:23 +00:00
Yilou Wang 925543676e
Fix rand_mode() on nested object variables causes Z3 solver error (#7031) (#7034) 2026-02-10 13:59:09 -05:00
Yilou Wang 8791e6c5f2
Support constraint_mode() on static constraints (#7027) (#7038) 2026-02-10 13:58:35 -05:00
Ryszard Rozak 6303eb45ce
Fix multidim dynamic array elements passed to ref argument (#7023) 2026-02-10 08:46:04 +01:00
Igor Zaworski a660fa54a7
Fix unique constraint in derived class (#7022) 2026-02-09 09:56:38 -05:00
github action a28bd5a085 Apply 'make format' 2026-02-09 03:48:11 +00:00
Leela Pakanati e36838ad8e
Fix tristate enables for -fno-inline (#7016) (#7019) 2026-02-08 22:47:09 -05:00
Wilson Snyder 5a236dd35d
Change INITIALSTATIC to also report on processes, per IEEE (#7020) 2026-02-08 20:47:12 -05:00
Wilson Snyder ba194f3790 Tests: Avoid implied static variables, to avoid future warning 2026-02-08 18:20:28 -05:00
Wilson Snyder 9ba625225d Internals: Minor cleanups preparing for initialization fixes. No functional change. 2026-02-08 17:54:04 -05:00
Wilson Snyder 8700617fae Internals: Cleanup CRESET verilog and other misc fixes 2026-02-08 17:53:56 -05:00
Geza Lore 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
Wilson Snyder e12c62c070 Change JSON dumps to not include booleans that are false (#6977). 
Fixes #6977.
 2026-02-08 07:59:55 -05:00
Wilson Snyder c1db30523f Commentary (#7014) 
Fixes #7014.
 2026-02-08 07:48:12 -05:00
Wilson Snyder 0c83594e1e Fix variable conflict when multiple cells with unused input defaults 2026-02-07 18:11:55 -05:00
Wilson Snyder bbb231dfe2 Internals: Minor cleanups preparing for initialization fixes. No functional change. 2026-02-07 14:16:12 -05:00
Wilson Snyder 9068e2e5b5 Commentary: Changes update 2026-02-07 14:15:43 -05:00