检查已保存的 SDC 工件

在 Linux 上使用 Altifigence CLI 0.1.9 执行此本地工作流。

读取已保存的结果之前，确认退出状态为 0。单独保留标准错误输出，并检查下文所述的结果字段。

保存一个使用字面量的小型约束文件

使用现有项目目录，并将 constraints.sdc 保存在其中。先使用以下以字面量指定主时钟的语句。检查命令读取此已保存的文件，并返回受支持的解析器结果。请使用规范化的项目绝对路径，并为输入提供相对于该项目的路径。将示例中的 /absolute/project 替换为实际项目目录。

create_clock -name clk -period 10 [get_ports {clk}]

检查已保存的文件

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json

读取 sdc-receipt.json，确认其 schema 为 eda.artifact-inspect.result.v1。该文档通过摘要和长度标识输入字节，记录解析器来源信息，并在 normalized_summary 中包含已解析的约束。记录检查内容时，请将 diagnostics 和 authority 与摘要一并检查。该结果是所选文件的只读检查回执。

{"schema":"eda.artifact-inspect.result.v1","operation_id":"eda.artifact-inspect.v1","format":"sdc"}

此输出块展示了部分标识字段。请保留完整文档，包括 input、parser、normalized_summary、diagnostics 和 authority。这些字段使解释结果与检查所用的确切已保存字节及解析器版本保持关联。编辑 constraints.sdc 后再次检查，会生成更新后文件的证据。

修正缺失的输入路径

如果命令指定的是 missing.sdc，而非已保存的 constraints.sdc，则 input_path_invalid 诊断以 cannot open input file: 开头，并包含操作系统报告的文件缺失原因。保留现有项目目录，将相对输入参数改为 constraints.sdc，然后重新运行以下检查。

alti eda inspect --project /absolute/project --format sdc constraints.sdc > sdc-receipt.json