使用 Evolve 分析已保存的 RTL

运行本地专用 RTL 分析器,并读取针对所选目标的结构证据。

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

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

保存一个小型 RTL 模块

将以下模块保存为项目目录中的 buffer.sv。在随后的命令中使用实际的项目绝对路径。analyze 操作读取已保存的模块,并选择指定的顶层模块和目标。先使用 generic-asic,使首次运行聚焦于这个小型组合逻辑设计的原生结构分析。

module buffer(input logic a, output logic y);
  assign y = a;
endmodule

运行专用分析器

alti evolve capabilities
alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json

命令完成后,打开 buffer-analysis.json。显式指定目标会生成 altifigence.rtlAnalyze.multiTarget.v1 封装。读取 targets 和 primary 以确认所选配置,再将 per_target 与共享的 schematic、roofline、tool_inputs 及所有 notes 一并检查。比较修订版本时保留完整封装,使每个指标都与其目标和支持证据保持关联。

{"schema_version":"altifigence.rtlAnalyze.multiTarget.v1","targets":["generic-asic"],"primary":"generic-asic"}

此输出块展示了部分标识字段。完整分析包含目标指标向量和结构产物。在比较中使用指标之前,请先读取每个指标附带的可用性信息和诊断。将源文件与分析结果一同保存,以便将结果关联到正在审查的确切模块修订版本。

选择现有源文件

将 missing.sv 用作模块参数时,原生分析器会报告 module not found: missing.sv。选择上文保存在项目中的 buffer.sv 文件,保留 --top buffer,然后重新运行以下命令。读取新的目标结果,并将成功生成的完整封装与该源文件修订版本一同保留。

alti evolve analyze --project /absolute/project buffer.sv --top buffer --target generic-asic > buffer-analysis.json