lab11\.solutions\run.tcl .....\..........\run_w_check_expl.tcl .....\.synopsys_dc.setup .....\rtl\stoto.v .....\scripts\stoto.con .....\.solutions .....\mapped .....\rtl .....\scripts lab11