Diego Roux
f57687f3ab
vpi_get_value_array: added out of bonds check.
...
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-20 17:16:58 -06:00
Diego Roux
c800c7294e
vpi_get_value_array: fix index and added WDATA to vpiRawFourStateVal.
...
Fixed index to behave as verilog indices.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-20 17:06:42 -06:00
Diego Roux
0c46e670cc
vpi_get_value_array: implement vpiRawFourStateVal.
...
TODO: get WDATA to work.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-17 10:22:18 -06:00
Diego Roux
f7752b39b8
vpi_get_value_array: adhere more to the standard.
...
vpiLongIntVal and vpiShortIntVal are stated to also support
Byte and Short values.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-12 23:17:43 -06:00
Diego Roux
62fcacd8af
vpi_get_value_array: add WDATA to vpiVectorVal.
...
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-09 09:52:33 -06:00
Diego Roux
54097fd43f
vpi_get_value_array: add vpiVectorVal.
...
Changed error messages to better match function name.
Expanded out_ptr size.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-09 09:25:54 -06:00
Diego Roux
10d572b55f
vpi_get_value_array: change use of malloc to thread_local mem.
...
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-10-06 23:01:18 -06:00
Diego Roux
74fe41143b
vpi_get_value_array: fix vpiRawTwoStateVal's WDATA return.
...
WDATA only worked if the bit length was a multiple of 32.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-09-30 14:29:00 -06:00
Diego Roux
a062ccac6a
vpi_get_value_array: fix vpiRealVal and add WDATA in vpiRawTwoStateVal.
...
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-09-30 09:47:39 -06:00
Jitesh
d9a93d9bf1
added vpRealVal support
2024-09-30 00:02:46 +05:30
Jitesh
dcf92c82ec
correction to vpiTimeVal check in vl_check_array_format
2024-09-28 16:17:51 +05:30
Diego Roux
7c91649c88
vpi_get_value_array: fixes and cleanup.
...
Moves everything into the new types, fixes previous commit unmatched
parameter amount.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-09-26 12:39:46 -06:00
Jitesh
8aceb0705a
added vl_check_array_format
2024-09-26 22:54:44 +05:30
Diego Roux
840446c553
vpi_get_value_array: added vpiRawTwoStateVal support.
...
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-09-26 01:18:26 -06:00
Diego Roux
e980430ba0
vpi_get_value_array: starting codebase.
...
Minimal code, includes type and class checks
and replies to vpiIntVal array request.
Signed-off-by: Diego Roux <diegoroux04@protonmail.com>
2024-09-26 00:55:44 -06:00
Wilson Snyder
521c5c2f75
Fix extra events in traces ( #5405 ).
2024-09-10 19:14:52 -04:00
Wilson Snyder
3525484730
Commentary
2024-09-10 19:04:55 -04:00
Arkadiusz Kozdra
4a58997604
Support basic constrained queue randomization ( #5413 )
...
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-09-10 09:33:14 -04:00
Wilson Snyder
7b41d2046d
Fix GTKWave clang 18 warning
2024-09-07 10:12:09 -04:00
Wilson Snyder
e4ff0909dc
Tests: Misc test cleanups from Python branch.
2024-09-03 21:42:06 -04:00
Wilson Snyder
7a74ddc1af
Internals: Fix some getter/setter ordering. No functional change intended.
2024-09-02 18:48:49 -04:00
Krzysztof Bieganski
088862d449
Support appending to queue via [] ( #5421 )
2024-09-02 09:45:47 -04:00
github action
e9f758ce67
Apply 'make format'
2024-09-02 01:13:41 +00:00
Wilson Snyder
df594ee430
Tests: Fix ll scan test.
2024-09-01 20:59:42 -04:00
Arkadiusz Kozdra
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
Kaleb Barrett
e04ef5d83a
Add method to check if there are VPI callbacks of the given type ( #5399 )
2024-08-27 17:36:51 -04:00
Krzysztof Bieganski
f623db7d68
Normalize types in constraints ( #5407 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2024-08-27 12:53:44 +02:00
Wilson Snyder
8741fd17ad
Internals: cppcheck cleanups. No functional change intended.
2024-08-23 18:24:34 -04:00
Bartłomiej Chmiel
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
Krzysztof Bieganski
13e0fc7c27
Fix virtual interface null checks ( #5391 )
2024-08-21 05:40:52 -04:00
Wilson Snyder
05e5f1955e
Update include/gtkwave from upstream
2024-08-20 15:23:53 -04:00
Kaleb Barrett
6f3f64e63f
Add --timing flag as Verilated cc define ( #5383 )
2024-08-18 20:02:54 +03:00
Arkadiusz Kozdra
367249ec84
Add parsing but otherwise ignore std::randomize ( #5354 )
2024-08-09 17:21:32 -04:00
Arkadiusz Kozdra
e6fe367bdb
Support streams to/from arrays of wide data ( #5334 )
2024-08-06 16:18:16 +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
7d5e19365e
Support assertcontrol directive type ( #5310 )
...
Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
2024-08-05 17:54:13 -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
1609c23fea
Fix cputime being zero
2024-07-28 13:14:10 -04:00
Wilson Snyder
0419ed0430
Fix initializing static array in dynamic arrays and queues ( #5287 ).
2024-07-24 06:06:57 -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
131623de34
Internals: Favor s string literals. No functional change.
2024-07-14 11:39:45 -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
Liam Braun
ca4858eb7f
Fix concurrency for mailbox and semaphores ( #5222 )
2024-07-03 22:29:32 +01:00
Arkadiusz Kozdra
85356f464f
State-dependent constraints ( #5217 )
...
Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>
2024-07-01 20:19:15 +02:00
Wilson Snyder
3315a6e431
Internals: Also cleanup gettes/setters in .cpp. No functional change intended.
2024-06-22 19:50:59 -04:00
github action
ba0183131c
Apply 'make format'
2024-06-22 22:58:42 +00:00
Ryan Ziegler
e1580b9c3d
Internals: Reorder class getters/setters ( #5197 ). No functional change intended.
2024-06-22 18:57:54 -04:00
Wilson Snyder
2641bc98aa
Update include/gtkwave from upstream
2024-06-15 08:14:43 -04:00
Wilson Snyder
ad2862ce3f
Fix DPI import of null C-string ( #5179 ).
2024-06-14 22:50:54 -04:00
Wilson Snyder
f96e99542c
Internals: Fix cppcheck warnings. No functional change.
2024-06-13 21:29:03 -04:00
