github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-21 22:04:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,073 Commits 2 Branches 161 Tags 133 MiB
87d1c10fa7
Commit Graph

7073 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ricardo Barbedo
87d1c10fa7
Fix compiler coroutine check (#5190) (#5300) 
The necessary options to support C++ coroutines vary greatly between
compilers, its versions, and the standard library being used. This
patch makes the check for coroutine support more robust by adding a
declaration of a coroutine variable, instead of just including the
header. It also makes sure that the HAVE_COROUTINE and
CFG_CXXFLAGS_COROUTINES flags are always set together, and only when
coroutine support is detected.
 2024-07-24 17:21:14 -04:00
Udaya Raj Subedi
a2506a6f96
Fix monitor block sensitivity items (#4400) (#5294) 2024-07-24 07:18:57 -04:00
Bartłomiej Chmiel
20dba7464d
Support--compiler-include headers in user-supplied cpp files (#5271) 
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
 2024-07-24 06:40:39 -04:00
Wilson Snyder
cb5d03ff0b Fix WIDTHEXPAND on left shift of intuitive amount (#5284). 2024-07-24 06:39:27 -04:00
github action
2727c33219 Apply 'make format' 2024-07-24 10:07:59 +00:00
Wilson Snyder
0419ed0430 Fix initializing static array in dynamic arrays and queues (#5287). 2024-07-24 06:06:57 -04:00
Wilson Snyder
1e3c7a5496 Fix inline function ref port persistence 2024-07-23 18:47:04 -04:00
Wilson Snyder
d2dfcbca53 Internals: Add log_changes for updating Changes file 2024-07-23 18:36:57 -04:00
Wilson Snyder
e779934443 Commentary: Changes update 2024-07-22 17:22:37 -04:00
Arkadiusz Kozdra
a3b255b054
Internal: Suppress new clang-tidy messages (#5293) 
The two most useless warning classes are llvmlibc-* on virtually every
identifier use that it does not resolve to __llvm_libc:: namespace, and
altera-* ones that warn on virtually every loop statement that it could
be unrolled with a pragma.  No functional change.

Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-07-22 13:11:50 -04:00
Krzysztof Bieganski
f5caa4b7dc
Fix randomizing current object with rand class instance member (#5292) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-22 14:41:12 +02:00
Wilson Snyder
8f4490628f Commentary: Clarify some warning messages. 2024-07-20 17:50:14 -04:00
Wilson Snyder
df566bdf4d Improve PINMISSING to show related port 2024-07-20 17:37:33 -04:00
Wilson Snyder
981d3ce782 Add suggestions on misspelled PLI functions. 2024-07-20 07:20:10 -04:00
Wilson Snyder
b7345eb5d5 Tests: Add checkp macro. No test functionality change. 2024-07-20 06:51:50 -04:00
Krzysztof Bieganski
2bd2b9324f
Fix inline constraints creating class random generator (#5280) 2024-07-19 13:03:48 -04:00
Arkadiusz Kozdra
298faa84ee
Fix elaborating foreach loops (#5285) 2024-07-19 14:56:30 +02:00
Arkadiusz Kozdra
43377ed8b0
Add support for this.randomize with (#5282) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-07-19 09:14:56 +02:00
Krzysztof Bieganski
b18037b7e7
Internals: Move non-visit methods to the proper place (#5279) 2024-07-18 08:57:39 -04:00
Yutetsu TAKATSUKASA
095b1ccb67
Fix incorrect result of width mismatch (#5186) (#5189) 2024-07-17 11:54:58 +02:00
Krzysztof Bieganski
2a30a87580
Fix randomization when used with inheritance (#5268) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-17 08:21:45 +02:00
Krzysztof Bieganski
e11bc6beeb
Internals: Refactor function argument traits (#5269) 
No functional change intended.

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-16 20:55:04 +02:00
Arkadiusz Kozdra
0a9b31bb30
Add warning on dist in constraints (#5264) 2024-07-15 21:01:33 -04:00
Krzysztof Bieganski
34e37d7bd0
Keep one member map for randomize method creation (#5263) 
No functional change intended.

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-15 16:42:41 +02:00
Yangyu Chen
164a7a7c5d
Improve emitted code to use a reference for VlSelf (#5254) 2024-07-15 09:44:01 -04:00
Krzysztof Obłonczek
67ea819d82
Fix toggle coverage aggregation on same line (#5248) 
Documentation states that minimum of all reported coverage of all signals in a line should be taken.
Previous logic would break if there were any signals with zero coverage followed by signals with
nonzero coverage - a minimum from those nonzero toggle count would be taken, disregarding zero
coverage of previous signals.

Internal-tag: [#62193]

Signed-off-by: Krzysztof Obłonczek <koblonczek@antmicro.com>
 2024-07-14 17:05:58 -04:00
Andrew Nolte
60f9e21d8c
Fix --x-assign to be independent from +verilator+rand+reset (#5214) 2024-07-14 17:04:00 -04:00
Wilson Snyder
dc037db1cd Internals: Make upcase clean. No functional change. 2024-07-14 15:28:00 -04:00
Wilson Snyder
0658af90f5 Fix classes/modules of case-similar names (#5109). 2024-07-14 13:57:16 -04:00
Wilson Snyder
131623de34 Internals: Favor s string literals. No functional change. 2024-07-14 11:39:45 -04:00
Wilson Snyder
74ae879c2f Internals: Remove duplicate filenameNonExt. No functional change. 2024-07-14 11:31:32 -04:00
Wilson Snyder
8c3b754bac Internals: Rename some filename functions. No functional change. 2024-07-14 09:34:54 -04:00
Wilson Snyder
e080f5c0cb Fix tracing with --main-top-name - (#5261). 2024-07-14 07:35:26 -04:00
Wilson Snyder
2284cf595d Commentary: Changes update 2024-07-14 07:34:36 -04:00
Wilson Snyder
b1cc0c54c1 Tests: Fail with test.pl-file-needs-have_solver()-call if forget have_solver() 2024-07-13 08:55:06 -04:00
Geza Lore
4cf017d7fe
Tests: Skip t_randomize_method_constraints when no solver is installed (#5260) 2024-07-13 08:31:16 -04:00
Geza Lore
25f5db4b5f
DFG: Allow inlining of variabels driven from forced vars (#5259) 
Not sure why this was disabled before, but it seems legal to me to
change

'forced A' -> 'B' -> 'C'

into

'forced A' -> 'B',
'forced A' -> 'C'

Fixes #5249
 2024-07-13 12:35:09 +01:00
Krzysztof Boroński
3cf9606ea9
Support inline constraints for class randomization methods (#5234) 
Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>
 2024-07-12 16:18:18 +02:00
Wilson Snyder
6882f8c55e Commentary: Surfer (#5253) 2024-07-11 18:33:35 -04:00
Krzysztof Bieganski
2696a9a5bd
Fix unconstrained randomization of unpacked structs (#5252) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-11 16:43:56 +02:00
Krzysztof Bieganski
abb46c9cb2
Refactor AstMemberSel creation with AstVar (#5251) 
No functional change intended.

Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-11 16:42:58 +02:00
Wilson Snyder
bbb223f217 Fix error on empty generate with -O0 (#5250). 2024-07-11 06:59:15 -04:00
Arkadiusz Kozdra
570e1bc35a
Support conditional constraints (#5245) 2024-07-10 11:30:18 -04:00
Bartłomiej Chmiel
11da07d3b9
Support $assertcontrol assertion_type (#5236) 
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
Co-authored-by: Ryszard Rozak <rrozak@antmicro.com>
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
 2024-07-10 05:06:13 -04:00
Arkadiusz Kozdra
2cfec0ecc3
Support clocking blocks in virtual interfaces (#5235) 2024-07-09 18:31:58 -04:00
Wilson Snyder
e3e7b3f2b5 Fix errors on using string in incorrect format (#5240). 2024-07-09 08:30:20 -04:00
Wilson Snyder
fe0b210a0c Fix errors on using string in incorrect format (#5340). 2024-07-09 08:29:22 -04:00
Chris Bachhuber
c383f4868f
Commentary: Mention docker hub explicitly (#5241) 2024-07-09 06:59:43 -04:00
Wilson Snyder
b66fdd7421 Fix unknown conversion on queues (#5220). 2024-07-08 10:19:51 -04:00
Wilson Snyder
83878325a7 Commentary: Update git issue templates. 2024-07-08 08:12:58 -04:00