mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-01 15:50:42 +00:00
Code Activity

verific: Fix enum_values support and signed attribute values

Browse source 
This uses the same constant parsing for enum_values and for attributes
and extends it to handle signed values as those are used for enums that
implicitly use the int type.
This commit is contained in:
Jannis Harder 2023-03-14 19:13:18 +01:00
parent c50f641812
commit 390d1c583a
3 changed files with 89 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

19
tests/verific/enum_values.ys Normal file
View file

@ -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