luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
7,139 Commits 2 Branches 167 Tags 217 MiB
Commit Graph

4697 Commits

Author SHA1 Message Date
Wilson Snyder 43a57da950 Add quotes to not-found filenames 2024-08-20 14:47:43 -04:00
James Bailey 99a43b7695
Fix +: and -: unpacked array slicing when array has nonzero low index (#5345) (#5387) 
Co-authored-by: James Bailey <james.bailey@awaveip.com>
 2024-08-20 14:20:48 -04:00
Krzysztof Bieganski 59d2eea302
Fix capturing fields from superclass in `randomize() with` (#5389) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-20 13:25:58 -04:00
Drew Ranck 48c71ef76c
Support default value on module input (#5358) (#5373) 2024-08-15 10:04:07 -04:00
Ryszard Rozak 563faeb33f
Internals: Fix removing nodes in V3Life (#5365) 2024-08-14 09:23:24 +02:00
Wilson Snyder 9c5c77c69c Favor use of more general idAny in parser 2024-08-13 15:25:07 -04:00
Wilson Snyder 4573e04488 Fix segfault after unsupported member call (#5359). 2024-08-13 14:39:37 -04:00
Krzysztof Bieganski 6cb0a41857
Support inline random variable control (#5317) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-13 14:20:31 -04:00
Geza Lore 124e3463fc
Fix cache config file resolution performance (#5369) 
V3ConfigWildcardResolver::resolve used to only cache the result of a
name lookup if there were any directives applied to the queried name.

This can be a performance problem. E.g. the module resolver is invoked
for every variable to check for attributes. If you had 'n' variables in
the design, and you also had 'k' directives that apply to specific
modules not involving most of the 'n' variables, then checking the
attributes involved O(n*k) operations. This can be very expensive
for large 'n' and 'k'.

In this patch we resolve every name exactly once, so the same above is
now O(n) in the worst case, and often a lot smaller due to repeat
lookups.
 2024-08-13 19:52:23 +02:00
Ethan Sifferman 1b15509a9c
Fix lint_off on Errors (#5351) (#5363) 2024-08-11 21:04:46 +02:00
Wilson Snyder eb3f10399a Internal: Rename tokenPipeScanTypeEq. No functional change. 2024-08-11 12:15:20 -04:00
Wilson Snyder 4660806c8f Internals: Remove wrong = new grammar rule. 2024-08-11 11:03:28 -04:00
Wilson Snyder 24b097b228 Improve new class error (#5359) 2024-08-11 10:09:05 -04:00
Wilson Snyder a0ea96b355 Favor use of more general idAny in parser 2024-08-09 18:00:36 -04:00
Wilson Snyder a663da7393 Internals: Split idType from simple_type. No functional change intended 2024-08-09 17:45:54 -04:00
Tim Hutt c812a9b18f
Fix shortened module names when searching for files (#5196) (#5246) 2024-08-09 17:23:00 -04:00
Arkadiusz Kozdra 367249ec84
Add parsing but otherwise ignore std::randomize (#5354) 2024-08-09 17:21:32 -04:00
Krzysztof Bieganski b100615726
Internals: Relax requirements for `AstClass` iteration methods (#5335) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-09 10:05:52 +01:00
Krzysztof Bieganski ec0815e9ac
Fix NBAs in suspendables (#5348) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-08 22:12:00 +01:00
Krzysztof Bieganski 97e9996f0b
Fix optimized-out sentrees with `--timing` (#5080) (#5349) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-08 21:57:12 +01:00
Krzysztof Bieganski b7af859ba3
Fix forks capturing non-input ports in tasks (#5237) (#5343) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-08 21:55:46 +01:00
Krzysztof Bieganski 701fa5438a
Fix output clockvar overwriting signal (#5320) (#5347) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-08 21:48:25 +01:00
Geza Lore 004865a8b2
Fix tracing_{on,off} in the presence of non-inlined modules (#5346) 
Previously "*.foo.*" failed to match non-inlined instances called 'foo'.
 2024-08-08 17:16:54 +01:00
Arkadiusz Kozdra 3e5859e5da
Support constraining AstSel (#5344) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-08 15:37:08 +01:00
Arkadiusz Kozdra 78555b683c
Fix missing type coercion in 'inside {array}' (#5340) 2024-08-08 03:46:41 -04:00
Wilson Snyder c2e44dbd99 Fix $sformat with array arguments (#5330). 2024-08-08 03:32:07 -04:00
Wilson Snyder 18fc3e6089 Internals: Favor idAny in typedefs. 2024-08-07 18:45:53 -04:00
Wilson Snyder f4f8ea0dcf Internals: Change cast fileline to point to cast operator 2024-08-07 18:45:53 -04:00
Arkadiusz Kozdra f78c4e8490
Fix compilation error on unreachable disable fork / wait fork (#5339) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-07 18:44:02 -04:00
Arkadiusz Kozdra e6fe367bdb
Support streams to/from arrays of wide data (#5334) 2024-08-06 16:18:16 +01:00
Ryszard Rozak 3426ee5170
Fix purity of functions with AstJumpBlock or AstStmtExpr (#5332) 2024-08-06 16:07:38 +01:00
Arkadiusz Kozdra a32b8d80f9
Support streaming operator on arrays and wide data (#5326) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-06 08:48:46 -04:00
Bartłomiej Chmiel 3b81654c72
Fix -Wunused-but-set-variable clang warning (#5331) 
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
 2024-08-06 08:48:12 -04:00
Varun Koyyalagunta 31c1df638b
Fix assert on wide expression (#5319) (#5324) 2024-08-06 01:45:57 -04:00
Krzysztof Bieganski f4cb2c8cf2
Add more `rand_mode` unsupported errors (#5329) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-08-05 17:56:03 -04:00
Bartłomiej Chmiel 7d5e19365e
Support assertcontrol directive type (#5310) 
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
 2024-08-05 17:54:13 -04:00
Bartłomiej Chmiel 99c619a4c9
Error on static variable initializers using automatic variables in procedures (#5296) 2024-08-05 08:39:43 +01:00
Krzysztof Bieganski 37a4002098
Fix stringify in nested preprocessor macros (#5323) 2024-08-02 11:46:02 -04:00
Krzysztof Boroński 45ee949cc4
Internals: Disambiguate variable references under `with` clauses of `randomize()` methods (#5277) 2024-08-02 11:45:17 -04:00
Arkadiusz Kozdra 54f9f4b6a9
Support foreach constraints (#5302) 
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-08-02 10:03:55 -04:00
Arkadiusz Kozdra a61178bd89
Internals: Convert foreach loops in V3Begin as well as V3Width (#5283) 2024-08-02 08:29:05 -04:00
Krzysztof Bieganski 2f5c58b345
Support `rand_mode` (#5273) 
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
 2024-07-31 22:30:48 +01:00
Wilson Snyder 3a659d460d Fix ==? and !=? with X values. 2024-07-28 14:40:55 -04:00
Wilson Snyder 8707c88787 Tests: Close misc internal code coverage holes 2024-07-28 14:18:24 -04:00
Markus Krause a01a21db86
Fix make flows to pass PYTHON3 (like perl) (#5307) (#5308) 
Fixes #5307
 2024-07-26 09:35:37 -04:00
Wilson Snyder 50a5a1ff5b Tests: Fix some verilog.y parser coverage holes 2024-07-26 07:29:15 -04:00
Arkadiusz Kozdra 1600cc01a4
Internals: clean up begin blocks and lifetimes in foreach loops (#5306) 
According to IEEE 1800-2023 12.7.3, the loop creates an implicit block
around it, containing declarations of the loop variables with automatic
lifetime.

No functional change intended.

Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
 2024-07-26 05:50:29 -04:00
Ryszard Rozak b9e1d55262
Fix handling of rand fields not referenced in constraints (#5305) 
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
 2024-07-26 05:46:30 -04:00
Geza Lore 0d43c14b93
Internals: Remove redundant hash lookup (#5276 partial) (#5303) 
Minor help for #5276
 2024-07-25 16:07:58 -04:00
Udaya Raj Subedi a2506a6f96
Fix monitor block sensitivity items (#4400) (#5294) 2024-07-24 07:18:57 -04:00