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