用 Rust 重新定义芯片验证效率

🛡 支付宝 / 微信扫码 ↻ 随时取消订阅 📦 离线 deb 下载

产品演示

AI Agent 驱动 AXI-to-Avalon 测台生成,经冒烟、压力测试与 Verilator / Icarus 回归形成完整验证闭环(约 5 分钟)。

5+ EDA
一套 Rust 测台
11
Agent / IDE · MCP 对接
闭环
多轮 verify · 可审计报告

不是脚本层,是验证基础设施

测台与 DUT 边界分离:Agent 只生成 Harness 与激励,同一套 Rust 测台跨 EDA 后端平移。

查看完整产品介绍 →

01

多 EDA,一套 Rust 测台

Verilator CI 到 VCS sign-off,切换仿真器即可,测台零改动。

02

MCP 多轮 verify 闭环

Agent 自动部署、仿真、读报告、改码再验,全程可审计。

03

覆盖 · 断言 · 激励审计

覆盖率、断言健康与激励 trace,支撑 sign-off。

两种交付,同一引擎

  • flintrix-online — 云端订阅,MCP verify 按量计费,Basic / Professional 套餐即开即用。
  • flintrix-offline — 内网 deb 包,离线 .lic 授权(固定路径或 KAY_LICENSE_PATH),无需在线设备码。
EDA 仿真器
Verilator VCS Questa Icarus Xcelium
AI Agent CLI
Cursor OpenCode Claude Code Kimi Code Codex OpenClaw
IDE 内置 AI
VS Code Lingma Trae Qoder

查看完整兼容清单

选择适合您的套餐

灵活的订阅方案,满足不同规模团队需求

购买需先登录账号

Basic

¥199.00 /月
Standard 15,000 点/月
Premium 1,000 点/月
  • ✓ Agent 多轮 verify 闭环
  • ○ 参数扫描 sweep
  • ○ 覆盖率分析
登录后购买

Professional+(容量包)

¥1499.00 /月
Standard 100,000 点/月
Premium 20,000 点/月
  • ✓ Agent 多轮 verify 闭环
  • ✓ 参数扫描 sweep
  • ✓ 覆盖率分析
  • ✓ 适合多项目高频仿真
登录后购买

Enterprise

企业定制
Standard 定制
Premium 定制
  • ✓ Agent 多轮 verify 闭环
  • ✓ 参数扫描 sweep
  • ✓ 覆盖率分析
  • ✓ zooseek 覆盖率签核
  • ✓ 专属技术支持 · 定制池
联系销售

功能对比

功能 Basic Professional Professional+(容量包) Enterprise
Agent 多轮 verify 闭环 ✓ ✓ ✓ ✓
参数扫描 sweep — ✓ ✓ ✓
覆盖率分析 — ✓ ✓ ✓
适合多项目高频仿真 — — ✓ —
zooseek 覆盖率签核 — — — ✓
专属技术支持 · 定制池 — — — ✓

企业微信扫码咨询

扫一扫添加企业微信客服,获取安装、License 与产品支持

企业微信客服二维码

打开微信 · 扫一扫添加企业微信

或电话 13426266539

常见问题也可查看 文档中心 FAQ