Skip to content

Y
yosys-tests
Commit c3b8df95 by Miodrag Milanovic
Options

fix case

parent 8761f0f1
Showing with 10 additions and 10 deletions
verific/typerange/enum.ys
verific -sv enum.sv
hierarchy -top top
select -assert-count 3 a:wiretype=\\states_t
select -assert-count 3 a:enum_value_00=\\ts0
select -assert-count 3 a:enum_value_01=\\ts1
select -assert-count 3 a:enum_value_10=\\ts2
select -assert-count 3 a:enum_value_11=\\ts3
select -assert-count 2 a:wiretype=\\states_t
select -assert-count 2 a:enum_value_00=\\ts0
select -assert-count 2 a:enum_value_01=\\ts1
select -assert-count 2 a:enum_value_10=\\ts2
select -assert-count 2 a:enum_value_11=\\ts3
design -reset
......@@ -35,8 +35,8 @@ select -assert-count 3 a:enum_value_11=\\ts3
design -reset
verific -vhdl enum.vhd
hierarchy -top top
select -assert-count 3 a:wiretype=\\states_t
select -assert-count 3 a:enum_value_00=\\ts0
select -assert-count 3 a:enum_value_01=\\ts1
select -assert-count 3 a:enum_value_10=\\ts2
select -assert-count 3 a:enum_value_11=\\ts3
select -assert-count 2 a:wiretype=\\states_t
select -assert-count 2 a:enum_value_00=\\ts0
select -assert-count 2 a:enum_value_01=\\ts1
select -assert-count 2 a:enum_value_10=\\ts2
select -assert-count 2 a:enum_value_11=\\ts3
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment