wreduce_memx_keepdc_mem.ys

read_verilog ../top_mem.v
hierarchy -top top
proc; opt; memory; dff2dffe; wreduce -memx -keepdc; clean; opt