Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
read_verilog_logic.ys 387 Bytes
Newer Older
Review frontends group.
dc58d55d
 
SergeyDegtyar committed
1 2 3 4 5 6 7 8 9 10 11 12 13 
read_verilog ../top_logic.v

select -assert-count 1 t:$add
select -assert-count 2 t:$and
select -assert-count 2 t:$mux
select -assert-count 4 t:$not
select -assert-count 2 t:$or
select -assert-count 1 t:$reduce_and
select -assert-count 2 t:$reduce_or
select -assert-count 1 t:$reduce_xnor
select -assert-count 1 t:$reduce_xor
select -assert-count 1 t:$xnor
select -assert-count 1 t:$xor