read_verilog proc_03.v
hierarchy -check -top test
proc;;