Design Vision
目的与配置
DC 图形化设计检查与综合交互。对于可复现的无头综合，请使用 Design Compiler；Design Vision 适用于层次结构、时序和原理图调查。
从用户配置的环境或工具配置文件中解析 design_vision。
发现实际版本、支持选项、许可证和本地文档。
使用环境发现；不要假设特定的
安装目录、账户、许可证端点或启动 shell。
将安装清单、日志和文档索引保存在私有本地状态中。
调用与命令约定
直接使用准备好的环境中的配置可执行文件。保留 其包装器文件名；更改调度器的调用名称可能会选择不同的 产品。请在该版本的文档中确认交互和批处理约定。 本参考提供候选命令，但不保证它们存在于每个版本中。
design_vision -f design.tcl
对于支持的阶段脚本，flow.py 捕获命令、 状态、日志、工件和检查点，无需 shell 包装器。 工具可能提供具有不同语义的本机接口，用于类似的标志。
输入与输出
DC .ddc 或支持的 RTL/网表，搭配匹配的库、SDC 和设计设置；用于 GUI 使用的可用显示。对于探索性编辑，请使用检查点的副本。
DC 兼容的设计检查点、报告和会话日志；在支持时显式导出 GUI 工件。检查时不要覆盖已接受的综合检查点。
阶段操作
在构建新命令之前，检索已安装命令的语法、参数类型、默认值、限制、 示例、特性要求和设计状态前提条件。识别每个操作是查询状态、更新派生状态、 修改设计还是导出工件。
| 阶段 | 命令或本机过程 | 前提条件与检查 |
|---|---|---|
| 加载/检查 | read_ddc current_design report_hierarchy report_timing | 使用与保存设计匹配的综合库/约束上下文。 |
| 综合 | analyze elaborate compile | 将可复现的综合和形式化门级网表委托给 synopsys-design-compiler。 |
| 保存 | write_file write_sdc | 将任何设计修改视为需要验证的新候选。 |
Tcl、检查与文档
DC 设计/集合命令在文档明确说明时适用：current_design、get_designs *、report_hierarchy、report_timing、report_area 和 check_design。GUI 特定的 API 必须单独查找。
对于 Tcl 接口，将路径/参数构造为 Tcl 列表，使用支持的集合 API 处理集合， 捕获错误并检查显式命令返回值。语法有效的 Tcl 文件不能保证命令可用。 对于本机驱动程序，请使用其文档化的输入格式。
python3 scripts/docs.py search '' --tool design-vision --limit 20
# 当存在多个匹配时，选择已安装的版本/安装。
# 使用以下命令检索返回的条目：python3 scripts/docs.py show DOCUMENT_ID
这些示例从捆绑目录运行。请阅读命令发现 了解私有索引创建、有界检索、运行时可用性和生命周期 检查。手册条目可能描述变量或诊断信息，而不是可调用的 命令。缺少文档仍然是选择不受支持命令的障碍。
受控参数与依赖项
综合设置遵循 DC 策略。GUI 显示/布局设置是观察性的；任何映射的设计编辑将使下游等价性和物理证据无效。
相同的 DC 版本/数据库/库上下文；GUI 库/显示可能独立于 dc_shell 失败。使用确切的包装器名称，因为它选择产品特性。
记录原始/建议值、报告支持的假设、手册参考、 有效阶段和预期指标。使用优化 进行有界比较，并保持功能不变和硬约束。
故障恢复与验证
将显示/GUI 设置诊断与综合错误分开处理。保留包装器名称和设计/库上下文。任何设计编辑都需要新的综合/形式验证证据，然后才能进行下游推广。
捕获命令/状态、内部日志、报告和状态/检查点标识。 分类原因，查阅相关已安装文档，并应用 最小破坏性的合理更正。恢复最后一个有效传入检查点的可写副本 并重新运行受影响的阶段。在保留更改之前比较已验证的指标； 保留被拒绝的尝试。使用 故障排除 进行恢复决策。
功能更改需要明确授权。不要放宽时序要求、 移除必需的约束或绕过验证以报告成功。当没有 合理的更正或配置的预算已耗尽时停止，并报告 需要哪些输入或环境修复。
模板与验收
对照所需范围检查实际输出和产品特定报告。 对于综合/实现，需要映射/链接的工件和保留的 约束；转换后重新证明功能。对于验证， 需要完整的覆盖率和干净的必需检查。对于仿真/调试， 需要预期的任务/测试在审查诊断后完成。
将文档验证、Tcl 语法检查、工具执行、阶段验收 和端到端签核证据分开保存。生成的流不是经过验证的 实现。有关所需证据边界，请参阅执行契约 和验证范围。