fe15171649
Internals: cppcheck cleanups. No functional change.
2025-02-18 01:14:51 -05:00
aa3942ab24
Internals: `constexpr` for `VlUnpacked` data access ( #5725 ) ( #5770 )
...
Add `constexpr` to data access functions of `VlUnpacked` whose `std::array` equivalent in C++14 is `constexpr`.
2025-02-09 22:45:50 -05:00
ac659d525b
Support VPI array accessors ( #5612 )
2025-02-07 19:06:46 -05:00
5b65c15eca
Internals: Add datap cast functions ( #5761 )
2025-02-05 15:29:54 -05:00
6b4183632c
Support Unpacked Structures' Constrained Randomization ( #5657 ) ( #5759 )
2025-02-03 11:56:00 -05:00
28a59a2b21
Update gtkwave from upstream.
2025-01-11 12:16:46 -05:00
d3e205f201
Support constraints on associative array user-defined keys ( #5671 ) ( #5729 )
2025-01-11 12:07:52 -05:00
bb871728c9
Apply 'make format'
2025-01-10 00:05:16 +00:00
69dce205d3
Support multidimensional array access via VPI ( #2812 ) ( #5573 )
2025-01-09 19:04:26 -05:00
0380a36c76
Fix constrained random for > 64-bit associative arrays ( #5670 ) ( #5682 )
2025-01-09 08:33:38 -05:00
b8288b97f7
Improve VPI write errors ( #5712 )
2025-01-06 17:56:18 -05:00
8ca49d98c1
Fix %p format output for real inside struct ( #5713 ).
2025-01-03 19:15:03 -05:00
f5e2f60dcc
Update include/gtkwave from upstream
2025-01-01 08:40:49 -05:00
8fbb725f34
Copyright year update.
2025-01-01 08:30:25 -05:00
8a121803f5
Add configure CFG_CXX_VERSION
2024-12-19 20:56:47 -05:00
54ef9ad31c
Support associative array basic constrained randomization ( #5658 ) ( #5670 )
2024-12-12 11:31:54 -05:00
6e204ed0dd
Internals: Cleanup 'error error' on fatals
2024-12-11 08:52:41 -05:00
b0f898cec8
Internals: Determine needing verilated_std without symbol table
2024-12-01 11:35:00 -05:00
0c820c3068
Internals: Standardize template argument names. No functional change.
2024-11-29 20:20:38 -05:00
990ccd6763
Internals: Standardize on `template<typename`. No functional change.
2024-11-29 18:01:50 -05:00
5470cf9fa9
Support randomize size constraints with restrictions ( #5582 partial) ( #5611 )
2024-11-15 10:45:06 -05:00
c98744b914
Internals: Fix `VerilatedContext::randSeed` comments ( #5609 )
2024-11-14 11:07:23 -05:00
3ffea76e11
Add `--no-std-waiver` and default reading of standard lint waivers file ( #5607 ).
2024-11-12 22:11:19 -05:00
1d06364284
Support vpiDefName ( #5572 )
2024-11-12 11:28:39 -05:00
a173883b2d
Support basic constrained random for multi-dimensional dynamic array and queue ( #5591 )
2024-11-08 14:04:58 -05:00
9689a4f58a
Internals: Support VL_UNREACHABLE in C++23/MSVC. No functional change intended.
2024-10-31 21:29:13 -04:00
dab826bef9
VPI error instead of fatal for vpi_get_value() on large signals ( #5571 )
2024-10-31 17:02:37 -04:00
36888fac5d
Fix long module names crashing string handling ( #5546 ).
2024-10-22 09:25:58 -04:00
7ccc93d9df
Fix reduction methods for verilated types ( #5542 )
2024-10-18 19:51:44 -04:00
c05c48aaf3
Support unpacked array Constrained Randomization ( #5437 ) ( #5489 )
2024-10-02 10:29:47 -04:00
48faf8d036
Fix tracing when name() is empty ( #5470 ).
2024-09-21 08:25:14 -04:00
0fe8c73d19
Fix `$fatal` to not be affected by `+verilator+error+limit` ( #5135 ).
2024-09-13 20:45:44 -04:00
521c5c2f75
Fix extra events in traces ( #5405 ).
2024-09-10 19:14:52 -04:00
3525484730
Commentary
2024-09-10 19:04:55 -04:00
4a58997604
Support basic constrained queue randomization ( #5413 )
...
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-09-10 09:33:14 -04:00
7b41d2046d
Fix GTKWave clang 18 warning
2024-09-07 10:12:09 -04:00
e4ff0909dc
Tests: Misc test cleanups from Python branch.
2024-09-03 21:42:06 -04:00
7a74ddc1af
Internals: Fix some getter/setter ordering. No functional change intended.
2024-09-02 18:48:49 -04:00
088862d449
Support appending to queue via `[]` ( #5421 )
2024-09-02 09:45:47 -04:00
e9f758ce67
Apply 'make format'
2024-09-02 01:13:41 +00:00
df594ee430
Tests: Fix ll scan test.
2024-09-01 20:59:42 -04:00
5cb6f370e9
Internals: Emit rand constraint right away. No functional change intended. ( #5409 )
...
This change gets rid of most of the shared pointers and useless memory
allocations. Also takes advantage of higher-arity bvxor/concat to
reduce amount of data sent to the solver.
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-08-28 16:11:39 +02:00
e04ef5d83a
Add method to check if there are VPI callbacks of the given type ( #5399 )
2024-08-27 17:36:51 -04:00
f623db7d68
Normalize types in constraints ( #5407 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2024-08-27 12:53:44 +02:00
8741fd17ad
Internals: cppcheck cleanups. No functional change intended.
2024-08-23 18:24:34 -04:00
ffe76717c6
Thread pool rewrite ( #5161 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
Co-authored-by: Krzysztof Bieganski <kbieganski@antmicro.com>
Co-authored-by: Arkadiusz Kozdra <akozdra@antmicro.com>
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2024-08-23 08:36:49 -04:00
13e0fc7c27
Fix virtual interface null checks ( #5391 )
2024-08-21 05:40:52 -04:00
05e5f1955e
Update include/gtkwave from upstream
2024-08-20 15:23:53 -04:00
6f3f64e63f
Add --timing flag as Verilated cc define ( #5383 )
2024-08-18 20:02:54 +03:00
367249ec84
Add parsing but otherwise ignore std::randomize ( #5354 )
2024-08-09 17:21:32 -04:00
Wilson Snyder
Trung Nguyen
Moubarak Jeje
Yilou Wang
github action
Krzysztof Starecki
Andrew Nolte
Ryszard Rozak
Tom Manner
Todd Strader
Krzysztof Boroński
Yilou Wang
Arkadiusz Kozdra
Krzysztof Bieganski
Kaleb Barrett
Bartłomiej Chmiel