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