github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-30 04:26:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
6,919 Commits 2 Branches 163 Tags 232 MiB
e8c5b9faad
Commit Graph

3297 Commits

Author SHA1 Message Date
Szymon Gizler
c715cfc254
Add --valgrind switch () 2024-01-29 07:50:05 -05:00
Wilson Snyder
22687a6901 Internals: Use C++14 quoted literal std::string 2024-01-28 21:00:20 -05:00
Wilson Snyder
9ccef4180f Fix $fwrite of null (). 2024-01-28 09:05:50 -05:00
Yutetsu TAKATSUKASA
e4a0e5aad6
Fix consider NOT when checking EQ/NEQ under AND/OR tree () 2024-01-28 22:36:09 +09:00
Wilson Snyder
d6f8ccd20b Add unroll_disable and unroll_full loop control metacomments (). 2024-01-26 07:49:07 -05:00
Wilson Snyder
3aece189ac Fix tracing chandles (). 2024-01-25 08:13:52 -05:00
Wilson Snyder
188f0eb4ad Tests: Add t_enum_enumvalue_struct_bad () 2024-01-25 07:57:45 -05:00
Wilson Snyder
d4c8a15407 Add --runtime-debug for Verilated executable runtime debugging. 2024-01-25 07:34:30 -05:00
Wilson Snyder
354a534d68 Add '--decorations node' for inserting debug comments into emitted code. 2024-01-24 21:51:47 -05:00
Wilson Snyder
c8a40e0b52 Commentary; Tests: Check summary options match guide options 2024-01-24 19:28:46 -05:00
Wilson Snyder
771cb5f60b Tests: Fix last commit when no coroutines. 2024-01-24 18:48:27 -05:00
Wilson Snyder
23836ee8d0 Document gprof steps better. Add t_prof_timing test to show GCC bug (). 2024-01-24 17:55:23 -05:00
Jonathan Schröter
31262e81f9
Fix to not emit already waived warnings in waiver output () () 2024-01-24 07:45:38 -05:00
Wilson Snyder
74ec50f933 Support interface class diamond relationship. 2024-01-23 22:07:35 -05:00
Wilson Snyder
21e85f87bc Fix compilation error on multi-inherited interface class usage (). 2024-01-23 19:36:11 -05:00
Paul Swirhun
6c0c88cfc4
Fix unsafe write in wide array insertion () () 2024-01-23 13:05:27 -05:00
Wilson Snyder
2989e54eaa Add unsupported warning on property iff () 2024-01-21 16:18:48 -05:00
Yutetsu TAKATSUKASA
6b8531f0a6
Fix widthMin in replaceShiftOp () () () 2024-01-21 10:30:01 -05:00
Yutetsu TAKATSUKASA
50df902b54
Fix incorrect bit-op-tree NOT optimization () () 
* Fix . Bit-op-tree opt. should not touch a subtree under NOT in AND/OR tree.
 2024-01-21 07:25:24 -05:00
Wilson Snyder
3a5248a919 Internals: Mark structs final/VL_NOT_FINAL. No functional change intended. 2024-01-20 15:06:46 -05:00
Wilson Snyder
1a92502788 Add --main support for dumping coverage, and +verilator+coverage+file runtime option. 2024-01-20 12:28:49 -05:00
Wilson Snyder
a38fea1f9e Tests: Use context coverage write 2024-01-20 11:19:42 -05:00
Wilson Snyder
d595d4c7ac Tests: Use --binary with some --timing tests 2024-01-20 10:57:00 -05:00
Wilson Snyder
a43fd06f85 Tests: Imply no driver.pl make when using --build. No functional change intended 2024-01-20 10:37:35 -05:00
Wilson Snyder
375a121377 Tests: Use lint() where able instead of compile(). No functional change intended. 2024-01-20 10:25:17 -05:00
Wilson Snyder
fef0502d50 Tests: Imply make_main=>0 on --main tests 2024-01-20 10:17:35 -05:00
Wilson Snyder
c30b9d04a8 Change unused vars to standard void syntax. No functional change intended. 2024-01-20 08:57:22 -05:00
Szymon Gizler
372cdf1fc8
Tests: Let debugger handle signals instead of test driver () 2024-01-16 11:18:20 -05:00
Andrew Nolte
ab47fc6656
Fix localparam elaboration () () 2024-01-11 07:49:07 -05:00
Anthony Donlon
55d1b87b34
Support parsing anonymous primitive instantiations () 2024-01-07 10:59:56 -05:00
Wilson Snyder
eec41fd039 Fix lint_off disables on preprocessor warnings (). 2024-01-06 18:49:19 -05:00
Wilson Snyder
0ca90257a5 Add predicted stack overflow warning (). 2024-01-06 16:14:58 -05:00
Wilson Snyder
acbbb2594a Tests: Make some tests single-threaded only, for faster regressions 2024-01-05 18:25:39 -05:00
Wilson Snyder
5294140753 Fix delays using wrong timeunits when modules inlined (). 2024-01-05 18:07:24 -05:00
Pengcheng Xu
ec01008fe3
Change zero replication width error to ZEROREPL warning () () 2024-01-03 07:11:50 -05:00
Marlon James
8ea814e4b4
Fix VPI parameter iteration () 2024-01-02 18:57:34 -05:00
Marlon James
0195fe9dfd
Add vpiConstType support to vpi_get_str() () 2024-01-02 18:52:57 -05:00
Marlon James
e430ea13f4
Fix vpi_get() and vpi_get64() to return vpiUndefined on errors () 
See IEEE 1800-2017 section 38.6 and 38.7.
 2024-01-02 16:25:14 -05:00
Paul Wright
3adb31f53b
Fix $time not rounding up () () 2024-01-01 20:11:46 -05:00
Wilson Snyder
3eaed3b6f5
Remove deprecated 32-bit pointer mode (). 2024-01-01 10:16:48 -05:00
Wilson Snyder
e76f29e5ba Copyright year update 2024-01-01 03:19:59 -05:00
Wilson Snyder
5a83209b9b Tests: Fix last commit on width (). 2023-12-31 13:28:49 -05:00
Wilson Snyder
40f0378136
CI: Run --sanitize on Ubuntu 22.04 in prep for eventual 24.04. () 2023-12-27 15:01:17 -05:00
Wilson Snyder
6bf253deda Tests: Test for unsupported default disable () 2023-12-24 13:11:09 -05:00
Wilson Snyder
aa4346a0e3 Tests: Add test for unfixed () 2023-12-24 12:19:15 -05:00
Wilson Snyder
8c541a6e4d Tests: Add test for unfixed () 2023-12-24 12:17:54 -05:00
Wilson Snyder
1a43afe6f7 Fix $finish twice to no longer exit (). 2023-12-24 11:02:52 -05:00
Wilson Snyder
54ad04b6e9 Fix 'for' loop with outside variable reference (). 2023-12-24 10:17:44 -05:00
Fan Shupei
540cd772e4
Add user C/C++ code to final achieve, and make a libmodel.a () () 2023-12-23 09:31:10 -05:00
Krzysztof Bieganski
621de301c7
Run the V3Fork stage only if --timing is set () 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2023-12-22 22:57:45 +01:00
Wilson Snyder
8769c1a92b Internals: Add -fno-dead-cells, -fno-dead-assigns for debug use 2023-12-22 16:26:51 -05:00
Jordan McConnon
56d6791205
Support invoking interface methods on virtual interface variables () () 2023-12-21 07:49:07 -05:00
Krzysztof Bieganski
016e630ecf
Refine dynamic NBA condition () 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2023-12-20 18:12:17 +01:00
Wilson Snyder
7a537765bc Tests: Comment driver.pl with some argument meanings. No functional change. 2023-12-19 22:43:18 -05:00
Wilson Snyder
21b2e874ce Tests: Make some includes more generic to help copying tests. No test change. 2023-12-19 21:08:30 -05:00
Wilson Snyder
55ad950609 Fix power operator with wide numbers and constants () () 2023-12-19 19:22:54 -05:00
Todd Strader
654ab117f2
Fix tracing FST enums () () 2023-12-19 11:07:06 -05:00
Todd Strader
5ec9bfc47d
Support packages in vpi_handle_by_name() () 2023-12-15 17:32:23 -05:00
Todd Strader
1066f06ec1
Support VPI parameter iteration () 2023-12-15 13:53:13 -05:00
Todd Strader
668dbb25ab
Tests: Use test macros in t_vpi_package () (). 2023-12-15 12:11:51 -05:00
Todd Strader
fced4d6e57
Support vpiConstType in vpi_get() () 2023-12-14 20:37:47 -05:00
Ryszard Rozak
a811f2e17d
Support inside operator on unpacked arrays and queues () 2023-12-12 09:20:22 +01:00
Ryszard Rozak
b60117c713
Fix typedefs pointing to parameterized classes () 
* Skip handling of ClassOrPackageRef nodes that point to Typedefs
 2023-12-08 07:13:38 -05:00
Ryszard Rozak
d3142736c8
Tests: Add a test for type parameters in virtual interfaces () 2023-12-08 07:11:32 -05:00
Ryszard Rozak
1ececf1127
Support multiple parameters in virtual interfaces () 2023-12-07 13:56:16 +01:00
Geza Lore
a09f7713ce Fix race in t_interface_virtual_sched_ico 2023-12-06 16:32:22 +00:00
Geza Lore
f3bace10ae
Improve V3Premit performance etc. () 
- Enable creating constant pool entries for RHS of simple
  var = const assignments
- Never extract ArraySel (it's just pointer arithmetic)
- Remove unnecessary AstTraceInc precond child tree
- Always fully recurse expressions (fix transplanted from )
- General cleanup

Overall the patch is performance neutral to slightly positive, but saves
~10% peak Verialtor memory usage due to not creating temporaries (which
are later expanded) for any ArraySels.
 2023-12-06 09:42:46 -05:00
Ryszard Rozak
eb2cfe1d19
Support parameterized virtual interaces () () 2023-12-06 08:02:04 -05:00
Ryszard Rozak
ca5a7d7656
Add class name in the error msg about calling 'new' on virtual class () 2023-12-05 16:31:59 +01:00
Krzysztof Bieganski
ea2084392f
Support --timing triggers for virtual interfaces () 2023-12-04 22:11:07 -05:00
Wilson Snyder
fc9b66b078 Tests: Fix t_assigndly_dynamic_notiming_bad to survive new dead code elimination 2023-12-02 15:57:38 -05:00
Wilson Snyder
f039a94744 Tests: Add _bad to some negative tests. 2023-12-02 09:48:06 -05:00
Wilson Snyder
b4baa7ce02 Internals: Avoid extranious base class calls in recent commit. 2023-12-01 19:05:21 -05:00
Krzysztof Boroński
bd38c8fe3c
Fix # 0 delays for process resumption, etc. () 2023-12-01 13:08:58 -05:00
Todd Strader
9a0748d8ed
vpi_iterate packages with vpiInstance () 2023-12-01 07:34:09 -05:00
Ryszard Rozak
d1ee9827a0
Fix block names of nested do..while loops () 2023-11-30 14:32:12 +01:00
Todd Strader
1fe591ae20
fix --rrsim () 2023-11-30 07:15:12 -05:00
Krzysztof Bieganski
b820e1b587
Support iff in sensitivity list () () 
Adds a new field to `AstSenItem` that stores the `iff` condition which is then handled by `SenExprBuilder`.

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2023-11-29 19:10:32 +01:00
Ryszard Rozak
ebfc2a4942
Fix parameter passing to ports () 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2023-11-29 17:07:23 +00:00
Wilson Snyder
7167d4bdc0 Fix shift of > 32-bit number (). 2023-11-27 21:41:32 -05:00
Wilson Snyder
a022b672a0 Fix 0**0 with wide numbers (). 2023-11-26 17:11:22 -05:00
Jinyan Xu
4650105d90
Fix conflicted namespace for coroutines () () 2023-11-20 21:02:10 -05:00
Krzysztof Bieganski
b8417abee5
Fix dynamic NBAs with automatic vars () 
This patch addresses two issues with NBAs in non-inlined functions/tasks:
- If the NBA writes to a local automatic var, the var could cease to exist before the NBA executes. This is normally addressed by fork dynscopes (), but NBA-to-fork transformation happens way after `V3Fork` (in `V3Timing`). To solve this, we put NBAs that write to locals under forks in `V3Fork` already. This way, such locals will be put in dynscopes, and will still exist after the task containing the NBA exits.
- The above change means that any writes in forks other than `fork..join` should be handled by `V3Fork`. Thus, in `V3SchedTiming`, we only have to worry about read references, so we can simply copy all remaining locals. Because we copy, lifetimes are not an issue. This fixes a bug that allowed assignment intravals to be overwritten if they go out of scope in the containing function.
 2023-11-16 11:21:23 +01:00
Krzysztof Boroński
cc982ec7fe
Fix range access to fields under classes that depend on parameter resolution () 
Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>
 2023-11-15 14:24:41 +01:00
Ryszard Rozak
2dba76a7c2
Fix access type of function arguments () () 2023-11-14 17:02:13 -05:00
Geza Lore
b07ffb3c78
Cleanup V3Gate () () 
Lot of redundant/dead/obsolete code here. NFCI, but contains some minor
bug fixes.
 2023-11-12 15:29:25 +00:00
Wilson Snyder
671a857560 Fix compiler warning on 'wait' with non-zero constant. 2023-11-12 08:44:55 -05:00
Wilson Snyder
eff2d977c1 Fix mis-elimination of variables across randomize() 2023-11-12 07:32:08 -05:00
Wilson Snyder
9d7f5bdc26 Internals: Dump CFunc entry points. 2023-11-11 20:34:51 -05:00
Wilson Snyder
99dbd23f1b
Support passing constraints to --xml-only output (still otherwise unsupported) () 2023-11-11 20:20:37 -05:00
Wilson Snyder
4103925835 Commentary: add docs/README.rst 2023-11-11 17:19:27 -05:00
Wilson Snyder
cad2780219 Fix display with no % printing assoc array (). 2023-11-11 15:28:44 -05:00
Wilson Snyder
706534ffe1 Fix 'for' loop with outside variable reference (). 2023-11-11 14:47:54 -05:00
Wilson Snyder
9a0254a118
Optimize timing-delayed queue (). () 2023-11-11 10:04:10 -05:00
Wilson Snyder
f3ae4b8786 Fix spelling 2023-11-10 23:25:53 -05:00
Marlon James
5ba7084815
Fix VPI TOP level variable iteration () () 2023-11-07 07:47:55 -05:00
Geza Lore
dc346b7ffa
Remove deprecated options () 2023-11-04 17:28:36 +00:00
Anthony Donlon
88fcbf5f1d
Fix interface parameters used in loop generate constructs () () 2023-11-04 13:19:35 -04:00
Anthony Donlon
d0d39c13e7
Fix linking parameterized hierarchical blocks and recursive hierarchical blocks () 2023-11-03 07:55:53 -04:00
Anthony Donlon
2733d43ea7
Fix identifiers that end with '_' on Windows () 2023-11-02 17:53:52 -04:00
Ryszard Rozak
a764c70b4a
Fix handling of static keyword in methods () 2023-10-31 08:15:54 -04:00
Krzysztof Bieganski
f789d28277
Fix signals read via virtual iface optimized out () 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2023-10-30 21:26:46 -04:00
Wilson Snyder
3c6b755352 Tests: Rename t_opt_dead 2023-10-29 09:42:52 -04:00
Geza Lore
de4c6065dc
make: add test-snap/test-diff targets () 2023-10-28 15:58:29 +01:00
Geza Lore
d8420413b7 test: fix FST trace file names 2023-10-28 10:40:07 +01:00
Geza Lore
a5951babfc test: make output deterministic 2023-10-28 10:36:30 +01:00
Geza Lore
2cba167634 Make eval loop construction more unified and the output more readable 2023-10-28 08:48:04 +01:00
Ryszard Rozak
e6135981a5
Fix dynamic casts of null values () 2023-10-27 15:58:40 +02:00
Ryszard Rozak
64af83161a
Fix rand fields of reference types () 2023-10-26 17:17:23 -04:00
Chih-Mao Chen
98252634fc
Include systemc instead of systemc.h in model header files () () 
This may require that SystemC programs add:
using namespace sc_core;
using namespace sc_dt;
 2023-10-26 14:36:18 -04:00
Krzysztof Boroński
a87fb57656
Allow assigning events () 
Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>
 2023-10-26 16:38:47 +02:00
Krzysztof Boroński
f91259f46d
Fix insertion at queue's end () 
Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
 2023-10-25 17:41:28 +02:00
Marlon James
cf6e362972
Support VPI variables of real and string data types () 2023-10-24 20:46:20 -04:00
Geza Lore
95c4ade718
Unify code generation for trace declarations in both trace formats () 
This patch adds some abstract enums to pass to the trace decl* APIs, so
the VCD/FST specific code can be kept in verilated_{vcd,fst}_*.cc, and
removed from V3Emit*. It also reworks the generation of the trace init
functions (those that call 'decl*' for the signals) such that the scope
hierarchy is traversed precisely once during initialization, which
simplifies the FST writer. This later change also has the side effect of
fixing tracing of nested interfaces when traced via an interface
reference - see the change in the expected t_interface_ref_trace - which
previously were missed.
 2023-10-24 16:33:29 +01:00
Ryszard Rozak
84125d7c92
Fix virtual methods () 2023-10-24 15:51:46 +02:00
Ryszard Rozak
774c10396c
Fix try_put method of unbounded mailbox () 2023-10-23 14:33:22 +02:00
Geza Lore
82565690c7 test driver.pl: don't redirect to STDOUT of interactive GDB 2023-10-22 00:56:10 +01:00
Geza Lore
d330100542 Create implicit nets for inputs of gate primitives. 
Prior to this we failed to create implicit nets for inputs of gate
primitives, which is required by the standard (IEEE 1800-2017 6.10).
Note: outputs were covered due to being modeled as the LHS of
assignments, which do create implicit nets.
 2023-10-21 22:45:26 +01:00
Geza Lore
4c0edd2efb Improve --prof-exec infrastructure and report 
Again --prof-exec have bit-rotted a little with all the recent changes
to the structure of the generated code. This patch contains a few
improvements:
- Repalce the eval/evl_loop begin/end events with generic
  section_push/section_pop events, that can be arbitrarily sprinkled
  into the generate code (so long as they are matched correctly) to
  measure various sections. The report then contains a nested profile
  of the sections, and the VCD trace shows the section names.
- Better handling of exec graphs
- Clearer overall statistics
 2023-10-21 21:09:03 +01:00
Geza Lore
52f2b9ef58 Remove pointless test 
t_optm_if_cond was a test for a then non-existent optimization to merge
conditionals. V3MergeCond implements this and has its own tests.
 2023-10-21 20:41:46 +01:00
Geza Lore
a09506a0ad Trivial simplification of V3EmitCModel 
Still some remains of the --threads 0 mode. Remove unnecessary complexity
from V3EmitCModel. (Also don't pretend there is an MTask in single
threaded mode, when there really isn't.)
 2023-10-21 20:41:46 +01:00
Geza Lore
b78ea06829 Make VL_LOCK_SPINS configurable 
It's unlikely one value fits all use case, so making VL_LOCK_SPINS
configurable at model build time.

For testing, we reduce the value as we expect high contention.
 2023-10-21 18:05:53 +01:00
Geza Lore
cbc2f9eb32 Do not overwrite LD_LIBRARY_PATH in t_flag_ldflags 2023-10-21 11:34:36 +01:00
Wilson Snyder
f8b7fb72b8 Fix fault on empty clocking block (). 2023-10-21 02:40:08 -04:00
Krzysztof Bieganski
7b12f6a1dd
Support NBAs in non-inlined functions/tasks () () 2023-10-20 20:01:45 -04:00
Aleksander Kiryk
83a0085c4d
Support wait fork () 2023-10-20 07:13:57 -04:00
Wilson Snyder
05bb7fa821 Tests: Use UVM with UVM_NO_DPI defined 2023-10-20 02:37:11 -04:00
Wilson Snyder
a773a52559 Cleanup some IEEE references 2023-10-19 19:26:36 -04:00
Wilson Snyder
5af271cf3a Fix display optimization ignoring side effects (). 2023-10-19 18:33:58 -04:00
Wilson Snyder
0c2bab1f69 Fix method narrowing conversion compiler error (). 2023-10-18 17:51:25 -04:00
Krzysztof Bieganski
8720841c48
Fix to not remap local assign intravals in forks () 2023-10-18 16:49:20 -04:00
Wilson Snyder
493f1da266 Fix compile warning on unused member function variable (). 2023-10-18 08:09:54 -04:00
Wilson Snyder
8b44a54bb2
Support Verilated precompiled header compilations () 2023-10-18 08:08:15 -04:00
Wilson Snyder
13989b965d Tests: Add --binary with split, to check parallel builds 2023-10-17 23:13:04 -04:00
Ryszard Rozak
3bb9c7ee92
Fix dictionaries with keys of class types () 2023-10-17 17:15:24 +02:00
Ryszard Rozak
45edcbb03e
Fix logical expressions with class objects - caching in v3Const () 2023-10-17 07:38:45 -04:00
Krzysztof Bieganski
99ea16d7fd
Fix dynamic triggers for named events () 2023-10-16 11:06:41 -04:00
Krzysztof Bieganski
bc9ff6d1bf
Fix interface comparison () 2023-10-16 11:05:39 -04:00
Aleksander Kiryk
ad3bcbb1bb
Support disable fork () () 2023-10-16 14:02:29 +02:00
Anthony Donlon
4fdaa46328
Fix using functions/tasks following class definition inside module () 2023-10-15 13:01:32 -04:00
Anthony Donlon
4427f03b08
Fix error message for invalid parameter overrides () 2023-10-15 12:59:36 -04:00
Yutetsu TAKATSUKASA
4e2c63c8cb
Support concatenation of unpacked arrays () 2023-10-15 12:53:35 -04:00
Wilson Snyder
c14eae6d56 Add SIDEEFFECT warning on mishandled side effect cases ( partial) 2023-10-15 06:44:35 -04:00
Wilson Snyder
46f8a659b3 Fix shift to remove operation side effects (). 2023-10-14 22:34:37 -04:00
Wilson Snyder
b5a6b34968 Tests: Remove old hack from before unpacked structs 2023-10-14 22:23:58 -04:00
Wilson Snyder
7eb09c3445 Fix instance arrays connecting to array of structs (). 2023-10-14 15:19:19 -04:00
Varun Koyyalagunta
edfd3d7206
Fix large constant buffer overflow () 2023-10-13 07:08:58 +09:00
Wilson Snyder
1fd8e772b0 Fix loss of warning source content with `line enter (due to earlier commit 472ad90d83). 2023-10-10 20:40:21 -04:00
Anthony Donlon
7ce0bd1181
Fix broken link error for enum references () 2023-10-10 17:55:40 -04:00
Wilson Snyder
b306715b4a Optimize empty expression statements (). 2023-10-09 05:50:31 -04:00