read_verilog opt_04.v
hierarchy -check -top test
proc; opt