Tcl:将带方括号的参数传递给过程(SDC)

我想建立一个SDC模拟器。 这是我的流程:

proc set_false_path { body ... }
proc get_pins { body ...}

我使用tcl内置的“源代码”来读取SDC文件MY_SDC_file.SDC(MY_SDC.file.SDC中有很多文件)

在文件中,有一个命令:

set_false_path -through [get_pins my_pin[1]]

它将报告 无效的命令名“1” 错误

我尝试像“proc1{body…}”那样执行proc,但如果有[100000]这样的情况,则会很耗时。 有任何方法可以纠正错误,谢谢。