SuperAPI AI 工具集

gf-lint

通用与其它

查看项目

更新于 10-15 20:13

技能介绍

用途:对 SystemVerilog 文件做静态检查(lint),并以结构化结果供上游编排器解析,用于自动化流程中判断代码是否可继续处理。

主要能力:先检测环境是否可用,优先检查 Verilator(which verilator),其次 Verible(which verible-verilog-lint)。两者都无时直接返回 ERROR,提示安装方式(macOS: brew install verilator;Linux: sudo apt install verilator)。有工具时对指定文件或自动探测的 SV 文件运行 verilator --lint-only -Wall,按 ERROR 与 WARNING 分类计数,并对 UNUSED、UNDRIVEN、WIDTH、CASEINCOMPLETE、LATCH、BLKSEQ、PINCONNECTEMPTY、IMPLICIT 等常见警告给出含义与修复建议,同时覆盖 v5 新增的 lint 与风格警告。

使用方式:若参数中给出文件路径则直接使用;否则用 ls .sv rtl/.sv 自动识别。检查结束后必须输出固定结构块 ---GATEFLOW-RESULT---,含 STATUS、ERRORS、WARNINGS、FILES、DETAILS。STATUS 取 PASS(无错误)、FAIL(存在错误)、ERROR(无法运行)。可由 /gf 编排器内部调用并按结果决定后续步骤(PASS 继续、FAIL 触发重构、ERROR 上报用户)。

限制:依赖外部 lint 工具,无工具时不执行检查;未提供独立计费、价格或平台信息;示例输出中的警告解释与修复建议来自资料,具体项目适用性需自行确认。