read_verilog ../top.v extract -mine tt/out