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
ff4cd2c5da
Merge branch 'declare-before-use'
2024-04-06 09:13:07 +01:00
52d049b513
Add additional regression tests for issue #1099 .
2024-02-25 21:55:37 +00:00
3624a54f7f
Add regression test for issue #1104 .
2024-02-24 13:36:25 +00:00
0679d7c8cf
Add regression test for issue #1099
2024-02-24 11:49:46 +00:00
d043c1fa44
Add regression tests for declare before use.
2024-02-20 08:46:28 +00:00
cd76bd2371
Fix tests that used variables/nets before declaring them.
...
The sdf_interconnect tests just need the code reordering. The
pr1909940 tests were written to test use before declaration, so
now need to be CE tests.
2024-02-19 18:20:04 +00:00
72e86d396c
Add regression test for issue #703 .
2024-02-09 22:38:32 +00:00
2299fc1b2b
Add regression tests for mixed procedural/continuous assignments.
2024-02-03 22:24:22 +00:00
53b8220b9f
Add extra regression tests for multiple drivers on uwires.
2024-02-03 22:23:45 +00:00
5e139890b6
Add regression test for connecting module output port to array variable (issue #1001 ).
2024-01-30 23:31:56 +00:00
39753da458
Add regression test for disabling binary NAND and NOR operators.
2024-01-28 22:47:46 +00:00
81d7abaf88
Add regression tests for checking wire data types (issue 1087).
2024-01-28 15:53:47 +00:00
fbb2d91927
Add regression tests for issue #1074 .
2024-01-27 16:17:31 +00:00
71b9c551df
Move tests pr2509349a/b to the new test format.
...
This removes the regress-msys2.list file, fixes the output from the
pr2509349a.v test to not be different on different systems, and
documents the $readmempath task.
2024-01-21 15:49:09 -08:00
d42f97ecbe
Cleanup space issues
2024-01-20 11:26:06 -08:00
2d611c4347
ivtest: pr1002: Avoid race condition
...
The pr1002 test has a always block with the `dataout` in its sensitivity
list. It compares `dataout` to `expected_dataout`.
Both `dataout` and `expected_dataout` depend on `datain` and are updated in
the same cycle. This means there is no guarantee in which order they are
updated and the always block might get scheduled before `expected_dataout`
has been updated. This can lead to a test failure.
To avoid this slightly change the test to use a task to perform the
comparison and add an explicit delay before the task is executed so that
all updates have a chance to be fully resolved
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2024-01-20 10:32:55 -08:00
9b1ac6ab50
ivtest: Fix `assign` vs `initial` race condition in some tests
...
The first evaluation of an `assign` statement is scheduled at the same time as
`initial` statements.
There are some test cases that evaluate the result of an `assign` statement
in an `initial` statement. This is an inherent race condition and might
fail depending on the exact order of evaluation.
To fix this add an additional delay in the `initial` block. This will make
sure that all `assign` statements get fully resolved first.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2024-01-20 10:32:02 -08:00
7b99cd25ca
Add regression tests for suppressed VCD/LXT/LXT2 warnings (issue #710 )
2024-01-07 20:34:45 +00:00
fa2dfe690c
Add regression test for synthesisable for loop check (issue #687 )
2024-01-07 13:23:36 +00:00
7c25e8506c
Merge pull request #1060 from larsclausen/ident-test-width
...
Correctly calculate width of nested path identifiers
2024-01-01 12:26:51 -08:00
1712b2e8e8
Merge pull request #1059 from larsclausen/invalid-partsel
...
Detect reversed part select on inner dimensions
2024-01-01 12:25:07 -08:00
724a88f523
Update array_slice_concat.v
...
Add delay to avoid race in TB code and DUT code
2024-01-01 11:01:19 -08:00
9a563e9bab
Add regression test for nested struct width
...
Check that expression width is correctly calculated for nested structs.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-12-30 18:30:24 -08:00
0b22810a25
ivtests/array_slice_contact: add tb
2023-12-30 10:57:24 +09:00
fbbff9646d
ivtest: add array_slice_concat
2023-12-30 10:57:24 +09:00
57f8084d0c
Add regression tests for reversed part select indices
...
Check that reversed part selects result in an error. Check this for both
right-hand and left-hand side expressions as well as for inner and outer
dimensions.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-12-29 16:34:46 -08:00
cc829031ff
Elaborate system elab tasks in gen blocks
2023-12-28 15:07:37 -08:00
7fb1cabdbb
Merge pull request #1055 from larsclausen/invalid-index-base
...
Handle invalid vector slice base expressions
2023-12-28 13:38:28 -08:00
b14c4ca26c
add suport for the shortreal conversion functions
2023-12-28 13:30:27 -08:00
8f006a22b4
Add regression tests for invalid part select base expressions
...
Check that a invalid part select base expression results in a compile
error.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-12-28 13:21:37 -08:00
57524836f1
Fix space issues
2023-12-28 11:21:09 -08:00
0be07afab3
ivtest: Remove the regress-v10 test list
...
This list is not needed with the new scheme. This means that some gold
files that are v10 specific are removed, as well as the list itself.
2023-12-10 19:05:12 -08:00
987b7d1dc0
fread() support integral variables not just registers
2023-12-09 14:30:25 -08:00
5d561f3ef1
Fix time issue in FreeBSD (pow() bug)
2023-12-09 12:51:13 -08:00
483de9a75b
ivtest: Add test for partselect on enum inside pack struct
...
See issue #1033
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
2023-11-16 09:26:04 +01:00
d564cecfb9
ivtest: Add test for $left / $right on structure field
...
See issue #1032
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>
2023-11-16 09:26:01 +01:00
b7ef0b5d88
Add regression test for continuous assignment to 2-state arrays
...
Check that continuous assignments to both signed and unsigned 2-state
arrays are supported.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-10-15 10:07:24 -07:00
560800489d
tests: sv_queue_vec: Change base type to 4-state
...
The sv_queue_vec test uses queues of 2-state vectors, but also checks if
certain operations on the queue yield 'X.
2-state queues should never yield 'X and the test only passes because of a
bug. In preparation for fixing the bug change the test to use a 4-state
base type instead.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-10-01 09:09:31 -07:00
6e81891de0
Add regression test for 2-state array initial value propagation
...
Check that the initial value that gets propagated for 2-state arrays is '0.
Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
2023-09-23 06:19:09 -07:00
f50cc35d2f
Fix space issues
2023-09-04 14:15:11 -07:00
7ce068fbdb
Merge pull request #994 from mole99/sdf-interconnect-vector
...
SDF: Interconnection delays for input/output vectors
2023-09-04 07:02:28 -07:00
b497d362a7
Cleanup space issues
2023-09-04 00:21:23 -07:00
023c5f2754
Add testcase with input and output vectors
2023-09-04 09:20:19 +02:00
b12977d61a
A macro can only have `" and add `\`" for pragma comments
...
We want to support `" and `\`" when a pragma comment is part of a macro
definition, but this cannot be part of a normal pragma comment.
2023-09-03 21:34:31 -07:00
d938654c36
Merge pull request #993 from ithinuel/escape-in-attribute
...
add double quote escapes from pragma comments.
2023-09-03 21:14:10 -07:00
f229dfcb2b
Fix the trigger for user functions with no args
2023-09-03 18:41:38 -07:00
64cfd681af
Merge pull request #980 from sifferman/argumentless-functions-fix
...
Argumentless functions fix
2023-09-03 17:31:10 -07:00
Martin Whitaker
Paul Rigge
Stephen Williams
Cary R
Lars-Peter Clausen
Johan Euphrosine
Sylvain Munaut
mole99