e4afd6dc25
Add regression test for `super` access error
...
Check that access through `super` is rejected when the current class has no
parent class.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-12 20:43:38 -07:00
ba3f46722c
Add regression tests for edge controls on named event errors
...
Check that the compiler reports an error for `posedge`, `negedge` and `edge`
event controls on named events. Edge controls can not be used with named
events.
There is already an existing test that checks both `posedge` and `negedge`.
Split it into separate tests so that each invalid event control is checked
independently.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-11 21:10:35 -07:00
ea57b6dd9a
Add regression test for real array index error
...
Check that using a real valued expression as an array index is rejected
during elaboration.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-10 22:26:48 -07:00
e212ea1a1c
package liftime test needs signed for vlog95 testing
2026-05-08 05:54:13 -07:00
3986804264
Merge pull request #1343 from larsclausen/lifetime_package
...
Allow lifetime specifier for variables declared in packages
2026-05-08 05:21:19 -07:00
81222402c7
Add regression tests for package variable lifetimes
...
Check that package variables can use explicit static lifetime. Check that
automatic lifetime is rejected for package variables.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-07 22:14:20 -07:00
f559a05672
Net arrays are not supported for Verilog 95
2026-05-06 21:25:25 -07:00
6ffb4b9a3a
Add regression tests for string literals assigned to byte arrays
...
Check that string literals can be assigned to byte arrays. Check that
invalid target array types are reported as errors.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-06 19:20:47 -07:00
8519a30354
Add regression test for unpacked array output port expressions
...
Check that assignment patterns cannot be connected directly to unpacked
array output ports.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-03 17:31:09 -07:00
be3be03fec
Add regression test for drive strength net declarations
...
Check that drive strength can be specified between the net type and the
data type in a net declaration and that vector gate arrays resolve
strengths correctly.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2026-05-03 17:30:56 -07:00
6f3beca5fb
FST can dump packages
2026-04-29 20:59:19 -07:00
ca756322a7
Add regression test for issue #1323 .
2026-04-15 16:44:35 +01:00
42d0c3fd4a
Update test suite to cover -gno-strict-declaration options.
2026-03-21 20:50:18 +00:00
4af84bfaad
Fix sdf_interconnect4 failure and reenable
2026-02-24 22:24:17 -08:00
935f92da05
Disable sdf_interconnect4 until vpi_handle_multi() is working properly
2026-02-20 00:54:53 -08:00
8385b13356
Add test for br_gh1248
2026-02-19 23:46:15 -08:00
068f33b35a
Remove memory leak when multi-bit module path delays fail
2026-01-21 20:50:32 -08:00
4d0a277f3b
Cleanup the python version of vlog95
2026-01-13 01:25:24 -08:00
6651df6f2c
Update the vlog95 python tests to pass more options
2026-01-08 01:36:30 -08:00
7dbaa67a02
vlgo95: add partial array pattern support and other cleanup
2026-01-07 23:32:16 -08:00
918976651a
Fixes for vlog95 generation and gold file updates
2026-01-06 23:02:55 -08:00
e5943047da
Add preliminary support for Python vlog95 testing
2025-12-30 19:44:06 -08:00
1c6f0e768a
Update vvp_reg.py to support strict, force-sv and with-valgrind
2025-11-22 13:31:27 -08:00
f5708a0322
Add regression test for issue #1286 .
2025-11-11 22:00:06 +00:00
1fdeb7b982
Add regression tests for $fmonitor tasks.
...
Also add a test for multiple $monitor task calls and $monitoron and
$monitoroff.
2025-10-05 12:37:30 +01:00
fd7029a299
Add regression tests for issue #1258 .
2025-07-05 22:52:52 +01:00
aec91c7754
Add regression tests for issue #1256 .
2025-07-05 18:21:32 +01:00
b7f9be9370
Add regression test for issue #1242 .
2025-05-11 11:39:29 +01:00
eb90bcf313
Add regression tests for invalid casts to real
...
Check that invalid casts to real are reported as an error.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2025-01-12 20:34:31 -08:00
e2008c9c0e
Add regression tests for nested lvalue object properties
...
Check that nested object properties of different types are supported as
lvalues.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2025-01-05 16:55:16 -08:00
9f8a8959a7
Add regression tests for assignment operators on queue and darray elements
...
Check that assignment operators work as expected on queue and dynamic array
elements.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2025-01-05 15:55:34 -08:00
7c970e91b9
Add regression tests for assignment operators on class properties
...
Check that assignment operators are supported for class properties.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2025-01-05 15:55:20 -08:00
c22b375c86
Add regression test for logic class property default value
...
Check that class logic class properties get initialized to 'x.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2025-01-05 09:46:07 -08:00
f3abd94e9b
Add regression test for issue #1184 .
...
This checks the temporary fix of outputing a suitable "sorry" message.
2024-12-31 17:15:19 +00:00
0119f0d1e8
Add regression test for vvp quiet flag.
2024-12-31 15:05:38 +00:00
62727e8b2e
Add regression tests for packed/unpacked array parameter declarations.
...
These are currently unsupported, so should result in a compiler error.
2024-11-15 21:10:51 +00:00
6c8ed62a5a
Add regression test for issue #1181 .
2024-11-10 19:34:36 +00:00
ba7da9d5a5
Guard against overflow / wrap around of internal part-select bit address
...
Internally, the maximum address space of a vector is 31 bits + a sign bit
to signal invalid addresses (out of bounds or has one or more x or z bits).
This commit ensures that unsigned part-select bit addresses which would
otherwise overflow and wrap around within this address space are correctly
handled as out of bounds.
2024-09-16 23:50:24 +02:00
2ab57a2b09
Add regression test for return type of $bits (issue #1163 ).
2024-09-07 17:56:15 +01:00
34ed6f6f97
Merge pull request #1168 from steveicarus/fix-vvp-cg-array-word-aliasing
...
Fix vvp cg array word aliasing
2024-09-07 17:04:57 +01:00
74ba42e2df
Merge pull request #1166 from larsclausen/fix-ix-load-sign
...
tgt-vvp: Use signedness of expression instead of signal for index load
2024-09-07 17:04:40 +01:00
ae78218c2f
Add regression test for issue #1155 .
2024-09-03 21:38:09 +01:00
841e5a9d9e
ivtest: Add regression test to check that shift rhs is always unsigned
...
Add a regression test to check that the right-hand side of a shift
operation is always treated as unsigned, even if it is a signed registers
or a variation thereof.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2024-09-02 19:09:06 +02:00
fa83f42cba
ivtest: Add regression test for undefined intra-assignment delay
...
Check that assignments with undefined intra-assignment delay get executed
with zero delay. The assignment should not be skipped.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2024-09-02 14:11:29 +02:00
488fbfc412
Add regression tests for checking for-loops are fully specified in SV 2009-.
2024-07-13 11:37:23 +01:00
cb6544fac3
Add regression tests for issue #1143 .
2024-07-09 22:22:39 +01:00
5cbdff202e
Add regression tests for checking constant function call scopes.
2024-06-30 11:52:54 +01:00
94d9d19519
Add regression test for issue #1122 .
2024-05-06 21:47:18 +01:00
28187823ed
Update handling of single-element arrays.
...
Also, add a test. This fixes #1113 .
2024-04-15 13:14:53 -07:00
ef7f0a8f38
Add regression tests for early signal elaboration.
2024-04-06 10:19:00 +01:00
Lars-Peter Clausen
Cary R
Martin Whitaker
Dag Lem
Paul Rigge