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