DC综合与Tcl语法结构