Skip to content

Y
yosys-tests
Switch branch/tag
Find file
Normal viewHistoryPermalink
read_verilog_mem2reg.ys 93 Bytes
Newer Older
Review frontends group.
dc58d55d
 
SergeyDegtyar committed
1 2 3 
read_verilog -mem2reg ../top_mem.v
select -assert-none t:$memrd
select -assert-none t:$memwr