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

5052 Commits

Author SHA1 Message Date
Wilson Snyder 3924fe9c18 Fix uncaught type error leading to invalid C++ output (#7814). 
Fixes #7814.
 2026-07-19 13:32:53 -04:00
Wilson Snyder 3813249826 Commentary: Changes update 2026-07-19 13:31:48 -04:00
Mateusz Gancarz 185a49e628
Fix unlinked error with function call in derived class parameter (#7923) 
Signed-off-by: Mateusz Gancarz <mgancarz@antmicro.com>
 2026-07-19 09:55:29 -04:00
Yilou Wang f7ce38dbc1
Tests: Pre-pull for #7946 (#7953) 2026-07-18 21:01:53 -04:00
Adam Kostrzewski 7e1efe6d76
Support dynamic containers in unique constraints (#7947) 
Signed-off-by: Adam Kostrzewski <akostrzewski@internships.antmicro.com>
 2026-07-17 10:55:14 -04:00
Pawel Klopotek cf27c63b2d
Fix type resolution when a local name shadows a type name (#7915) 2026-07-17 08:10:23 -04:00
Artur Bieniek 796d5174f3
Fix sampled-value clocks in repeated assertions (#7944) 2026-07-16 13:07:53 -04:00
Patrick Creighton cc1b36bafd
Fix FSM detection of coverage-only branches (#7941) (#7942) 
Fixes #7941
 2026-07-16 09:48:36 -07:00
Artur Bieniek 255bcff3ac
Support [*N:$] consecutive repetition (#7940) 
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-16 09:29:30 -04:00
Philip Axer 877fc1e812
Fix dropping variable writes across opaque calls (#7921) (#7933) 
Fixes #7921.
 2026-07-15 11:03:04 -04:00
Andrii affe4cde57
Fix class parameter resolution (#7935) 2026-07-15 10:56:22 -04:00
Kornel Uriasz 232b2eb04c
Fix dynamic array handling in solve...before (#7922) 2026-07-15 10:48:54 -04:00
Nick Brereton baf012cf6a
Fix streaming concat as output-port lvalue into unpacked struct (#7918) 2026-07-15 10:46:25 -04:00
Nick Brereton 25377b20af
Optimize VPI symbol registration and scope construction (#7936) 2026-07-15 10:31:42 -04:00
Wilson Snyder 34603ebd60 Commentary: Changes update 2026-07-14 19:55:50 -04:00
Igor Zaworski 3b43b304a3
Add error on static virtual functions (#7932) 2026-07-14 05:12:26 -07:00
Jeffrey Song e24efae5a0
Fix stream concatenation in init array patterns (#7890 repair) (#7928) 2026-07-13 20:29:19 -04:00
Nick Brereton dde8de0a0d
Fix crash streaming an unpacked array of unpacked structs (#7917) 2026-07-11 20:31:01 -07:00
Yilou Wang 7ca78a75e7
Fix scoped randomize with array members under rand_mode (#7877) 2026-07-11 20:28:49 -07:00
Yilou Wang ec124a0905
Fix mid-window disable iff (#7792) (#7869) 
Fixes #7792
 2026-07-11 20:44:56 -04:00
Yilou Wang ca83bc50bf
Fix solve-before over array variables failing randomization (#7876) 2026-07-11 20:44:37 -04:00
Geza Lore 52287c025f
Tests: Add TSan and failing multi-threaded data race test (#7913) 
PR #7902 uncovered a pre-existing bug in multi-threaded scheduling,
where we can end up with an un-ordered R-W hazard in the MTask graph,
resulting in non-deterministic runtime behaviour.

This is extremely hard to actually trigger on a small example, so using
ThreadSanitizer to flag it, which can identify the race reliably.

In this patch:
- Add configure and `verilator --get-supported TSAN` to check if the
  configured compiler supports ThreadSanitizer
- Add a --tsan option to the test driver.py which builds the test with
  thread sanitizer (similar idea to --gdbsim).
- Add a tests.enable_tsan() method to allow turning on TSan in the test
  Python file.
- Add a suppressions file that waives TSan errors in the runtime library
- Finally add `t_sched_hybrid_hazard` that demonstrates the data race
  triggered after #7902. This is currently expected failing, fix later.

With the suppression, there are 17 vltmt tests failing due races in the
generated code. (Using `driver.py --vltmt --tsan --quiet -j0`)
 2026-07-10 14:34:51 +01:00
Yogish Sekhar 3c7727a8f4
Fix spurious FSM COVERIGN on datapath comparisons (#7900) (#7908) 
Fixes #7900.
 2026-07-10 09:00:17 -04:00
Wilson Snyder 3191d98391 Commentary: Changes update 2026-07-10 08:43:12 -04:00
Artur Bieniek feb2fe0d94
Fix release of forced port nets (#7907) (#7901) 
Fixes# 7901

Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-10 11:35:06 +01:00
Artur Bieniek b211af9d24
Fix independent force of multiply instantiated signals (#7905) 
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-10 11:31:08 +01:00
Kornel Uriasz 9740203485
Fix VL_TO_STRING function for array of structs (#7912) 
Signed-off-by: Kornel Uriasz <kuriasz@antmicro.com>
 2026-07-09 08:40:24 -07:00
Adam Kostrzewski a21bd8a417
Fix VlQueue falling into wrong template spec (#7914) 2026-07-09 07:33:28 -07:00
Jaeuk Lee 38895f8f29
Fix $display accepting streaming concat arguments (#7663) (#7890) 
Fixes #7663.
 2026-07-09 08:41:40 -04:00
Wilson Snyder f316ec0d66 Revert #7836: Fix scheduling of variables written in non-inlined functions in suspendable processes (#7836) 2026-07-08 14:45:05 -04:00
Artur Bieniek 671ff628ff
Tests: Fix t_force_release to reflect intent (#7906) 
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-08 19:29:49 +01:00
Patrick Creighton c7e8075972
Fix --coverage on labelled inline assert/cover property (#7898) (#7904) 
Fixes #7898
 2026-07-08 09:18:33 -07:00
Jakub Michalski 646dcd3838
Support user-provided DPI-C function declarations (#7626) (#7893) 
Fixes #7626.
 2026-07-08 05:22:24 -07:00
Artur Bieniek 6c20fdb7bd
Optimize assertion NFAs using bit-vector ring buffers (#7885) 
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-07 19:26:50 -04:00
Yilou Wang f1a8192a36
Fix mixed-width inside and dist range bounds failing randomization (#7875) 2026-07-07 11:26:19 -07:00
Matthew Ballance 87d77f0133
Fix internal error for coverpoints that reference a covergroup formal parameter (#7853 partial) (#7889) 2026-07-07 11:42:39 -04:00
Igor Zaworski aca58ca90f
Fix scheduling of variables written in non-inlined functions in suspendable processes (#7836) 
Signed-off-by: Igor Zaworski <izaworski@antmicro.com>
 2026-07-07 12:34:24 +01:00
Artur Bieniek a5f4d40901
Fix range delays with parameter bounds (#7882) 
Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
 2026-07-06 13:13:11 -04:00
Yilou Wang 8ed0acf1ec
Support a sequence used as an event control (#7797) (#7846) 2026-07-06 13:12:01 -04:00
Geza Lore a518efbedb
Internals: Prepare V3DfgBreakCycles to support multi-dimensional arrays (#7867) 
This is prep for more array support later. Minor functional improvement
for tracing arrays, but no meaningful change.
 2026-07-05 11:40:08 +01:00
Wilson Snyder 83eb54ec7e Fix wild compare operators on strings 2026-07-04 11:05:34 -04:00
Wilson Snyder f82f59a024 Commentary: Changes update 2026-07-03 13:01:05 -04:00
Wilson Snyder 12fab5d5d7 Tests: Cleanup some cross-simulator test differences 2026-07-03 13:00:23 -04:00
Pawel Klopotek 7ece66d06e
Fix unique0 case side effects (#7787) 2026-07-03 12:49:21 -04:00
Eryk Szpotański a64234e897
Add comments as a branch description in coverage .info files (#7843) 
Signed-off-by: Eryk Szpotanski <eszpotanski@antmicro.com>
 2026-07-03 11:18:29 -04:00
Pawel Kojma b97df914dd
Fix clang++ ambiguous overload of '==' operator (#7863) 2026-07-03 06:37:48 -04:00
Jakub Michalski 853ee5df17
Fix DFG misoptimizing bound checks (#7755) 
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
 2026-07-02 11:33:38 +01:00
github action 9c655d379a Apply 'make format' [ci skip] 2026-07-01 19:59:37 +00:00
Sergey Chusov 1ea10ba71c
Fix class scope '::' reference through an inherited type parameter (#7844) 2026-07-01 15:58:35 -04:00
Wilson Snyder 6b3e2ce971 Commentary: Changes update 2026-06-29 22:00:10 -04:00