read_verilog ../top.v proc memory_dff -nordff opt_reduce clean tee -a result.log write_firrtl firrtl.firrtl
