read_verilog -sv ../top.v splitnets -ports tee -o result.log dump