diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2023-03-15 10:54:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-15 10:54:19 +0100 |
| commit | 57fb1f51b2597b626418b50d99cec5feb229ef67 (patch) | |
| tree | 1ad564b774da8adafce99936ceb63f55463a2d33 /tests/verific/enum_values.ys | |
| parent | 101d19bb6aef187653e240f5c6859e4d2efde1b5 (diff) | |
| parent | 390d1c583a4529bb190684ddbf18545e34c07663 (diff) | |
| download | yosys-57fb1f51b2597b626418b50d99cec5feb229ef67.tar.gz yosys-57fb1f51b2597b626418b50d99cec5feb229ef67.tar.bz2 yosys-57fb1f51b2597b626418b50d99cec5feb229ef67.zip | |
Merge pull request #3704 from jix/enum_values
verific: Fix enum_values support and signed attribute values
Diffstat (limited to 'tests/verific/enum_values.ys')
| -rw-r--r-- | tests/verific/enum_values.ys | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/verific/enum_values.ys b/tests/verific/enum_values.ys new file mode 100644 index 000000000..f580ded8a --- /dev/null +++ b/tests/verific/enum_values.ys @@ -0,0 +1,19 @@ +read -sv enum_values.sv +hierarchy -top top +printattrs a:* + +select -assert-count 1 a:some_attribute=16'd42 +# currently select doesn't support negative values in attributes +select -assert-count 1 a:another_attribute=32'hffffffff + +select -assert-count 1 top/state a:wiretype=\state_t %i +select -assert-count 1 top/state a:enum_value_11=\A %i +select -assert-count 1 top/state a:enum_value_00=\B %i +select -assert-count 1 top/state a:enum_value_01=\C %i +select -assert-count 1 top/state a:enum_value_10=\D %i + +select -assert-count 1 top/wide_state a:wiretype=\wide_state_t %i +select -assert-count 1 top/wide_state a:enum_value_00000000000000000000000000000000=\WA %i +select -assert-count 1 top/wide_state a:enum_value_00000000000000000000000000000001=\WB %i +select -assert-count 1 top/wide_state a:enum_value_00000000000000000000000000000010=\WC %i +select -assert-count 1 top/wide_state a:enum_value_00000000000000000000000000000011=\WD %i |