“Report Exception”命令的第 2 种操作模式是报告被覆盖的限定作用域内的时序例外。此报告是使用 -scope_override
命令行选项生成的。
report_exceptions -scope_override
注释: 此模式仅可用于来自 Tcl 控制台的文本报告。
命令行选项 -scope_override
用于报告被顶层约束部分或全部覆盖的限定作用域内的时序例外。例如,它可标记被顶层用户约束覆盖的 IP 约束。但该选项不会报告被其他限定作用域的约束(来自相同或不同作用域)所覆盖的限定作用域的约束。
对于每个被覆盖的时序例外,此报告都包括以下信息:
- 约束位置编号
-
-from
/-through
/-to
命令行选项的模式 - 覆盖建立时间和/或保持时间的约束的类型
- 约束的作用域
- 部分或全部覆盖此约束的顶层约束的位置编号列表
下图显示了“Exceptions Report”(例外报告)。
图 1. Exceptions Report