Innovus中foreach循环用eval构建命令时r2m路径组无法创建求助

针对你在Innovus中使用foreach循环创建路径组遇到的r2m组未生成问题，结合代码和工具特性，整理以下排查与修复方向：

1. 修复语法错误 #

你的eval行末尾多了一个多余的双引号"，这会直接导致Tcl解析命令失败，大概率是r2m路径组未创建的直接原因：

# 错误写法
eval group_path -name $groupPathName $CDNC_PATH_GROUPS($groupPathName)"
# 正确写法（移除末尾引号）
eval group_path -name $groupPathName $CDNC_PATH_GROUPS($groupPathName)

2. 修正regexp匹配逻辑 #

原代码中regexp all_registers $CDNC_PATH_GROUPS($groupPathName)的写法存在逻辑漏洞：all_registers会被当作Tcl变量解析，若未定义该变量则匹配空字符串，导致条件判断失效。如果需求是匹配数组元素中包含字符串all_registers，需将匹配模式用大括号包裹：

# 修正后的判断逻辑
if {[regexp {all_registers} $CDNC_PATH_GROUPS($groupPathName)] && [sizeof_collection [all_registers]] == 0} {
    set run_group_path 0
}

3. 替换eval为更安全的参数展开 #

Tcl中eval拼接命令易因参数含特殊字符、空格导致解析异常，推荐使用{*}操作符直接展开数组元素内容（Innovus的Tcl环境支持该语法）：

# 替代eval的安全写法
if {$run_group_path} {
    group_path -name $groupPathName {*}$CDNC_PATH_GROUPS($groupPathName)
}

4. 排查r2m路径组的参数合法性 #

• 检查CDNC_PATH_GROUPS(r2m)的值是否符合group_path命令要求，比如是否包含-source/-destination等必要选项，对应的寄存器集合是否存在（可通过sizeof_collection验证集合大小）。
• 若r2m参数指定的寄存器集合为空，group_path命令可能静默失败，不会创建路径组。

5. 添加调试信息定位流程 #

在循环中加入调试输出，明确r2m组的处理过程：

foreach groupPathName [array names CDNC_PATH_GROUPS] {
    puts "处理路径组: $groupPathName"
    puts "组参数: $CDNC_PATH_GROUPS($groupPathName)"
    set run_group_path 1
    if {[regexp {all_registers} $CDNC_PATH_GROUPS($groupPathName)] && [sizeof_collection [all_registers]] == 0} {
        set run_group_path 0
        puts "跳过该组（all_registers集合为空）"
    }
    puts "是否执行创建: $run_group_path"
    if {$run_group_path} {
        puts "执行命令: group_path -name $groupPathName $CDNC_PATH_GROUPS($groupPathName)"
        group_path -name $groupPathName {*}$CDNC_PATH_GROUPS($groupPathName)
    }
}

通过输出可确认r2m组是否进入创建分支，以及执行的命令是否符合预期。

内容的提问来源于stack exchange，提问作者Mercury