XDC 约束语法解析：set_false_path

示例命令

1
2

set_false_path -to [get_pins -hierarchical -filter {NAME =~ */xil_reset_sync/u_sync_r*/PRE}]
  

命令结构总览

set_false_path -to [get_pins -hierarchical -filter {NAME =~ */xil_reset_sync/u_sync_r*/PRE}]
  
│              │   │         │             │       │                                       │
  
│              │   │         │             │       └───────────────────────────────────────┘
  
│              │   │         │             │                    filter 表达式
  
│              │   │         │             └── 参数: 过滤条件
  
│              │   │         └── 开关: 递归搜索
  
│              │   └── 内嵌命令: 获取 pin 对象
  
│              └── 参数: 指定路径终点
  
└── 主命令: 设置 false path
  

XDC 与 Tcl 的关系

XDC 本质上就是 Tcl 脚本，只是里面调用的命令是 Vivado 定义的时序/物理约束命令。

语法元素分解

1. Tcl 基础语法

2. XDC/SDC 命令语法

主命令: set_false_path

注：-from、-to、-through 至少指定一个

内嵌命令: get_pins

3. Filter 表达式语法

4. 通配符语法 (Tcl glob)

完整语法树

set_false_path                          ← XDC 命令
  
├── -to                                 ← XDC 参数
  
│   └── [ ... ]                         ← Tcl 命令替换
  
│       └── get_pins                    ← XDC 命令
  
│           ├── -hierarchical           ← XDC 开关
  
│           └── -filter                 ← XDC 参数
  
│               └── { ... }             ← Tcl 花括号引用
  
│                   └── NAME =~ */xil_reset_sync/u_sync_r*/PRE
  
│                       ├── NAME        ← Vivado 属性
  
│                       ├── =~          ← 模式匹配运算符
  
│                       └── */.../*     ← Tcl glob 通配符
  

执行流程

常用 get_* 命令对比

调试技巧

在 Vivado Tcl Console 中单独运行查询命令，确认匹配结果：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

# 查看匹配到哪些 pin
  
get_pins -hierarchical -filter {NAME =~ */xil_reset_sync/u_sync_r*/PRE}
  

  
# 查看某个 pin 的所有属性
  
report_property [get_pins u_xxx/u_sync_r0/PRE]
  

  
# 列出可用的属性名
  
list_property [get_pins u_xxx/u_sync_r0/PRE]
  

应用场景总结