Tcl：将带有方括号的参数传递给过程（SDC）

Question

我想构建一个SDC模拟器。这是我的过程：

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

我使用tcl内置的“source”来读取SDC文件MY_SDC_FILE.sdc（MY_SDC_FILE.sdc中有很多文件）

文件中有一条命令：

set_false_path -through [get_pins my_pin[1]]

会报“无效命令名“1”错误

我尝试执行像“proc 1 { body ...}”这样的过程，但是如果有像[100000]这样的情况，则非常耗时。有什么方法可以修复错误，谢谢。

Answer 1

您可以通过适当的引用来避免此问题：

set_false_path -through [get_pins {my_pin[1]}]