sva-agent 用开源模型检查器重建 NVIDIA FVEval 评分并实测开源模型写 SVA 能力

GitHub 项目 byteB8/sva-agent 用开源模型检查器 EBMC 加 Spot 重建了 NVIDIA FVEval 的 SVA 评分器，替代需商业工具 Cadence Jasper 且脚本加密的官方评分器。验证显示其与 Jasper 数字一致（Qwen3-8B 得 34.6/49.3，官方 Jasper 数字 32.3/46.1 落在该评分器 95% 区间内）。在重建评分器上实测：CodeV-SVA-8B 人工集 Func@1 为 40.5、机器集 59.9；Qwen3.8-27B（FP8）为 42.7/63.9。