你用大白话说「要测什么」，Flintrix 帮你搭测台、跑仿真、查覆盖、出核签报告。 底下是 Rust 引擎，接 Verilator / VCS / Questa / Icarus / Xcelium—— 同一套测台代码，开源 CI 能跑，企业 sign-off 也能跑。
你说意图，Agent 按规程动手；编排器管步骤门禁，Rust 引擎真跑仿真。 每一步有证据、能重跑、可审计——不像聊天窗口那样聊完就散。
Flintrix 的核心不是又一个仿真框架，而是将验证决策链从人脑短期记忆迁移到持久化结构—— 验证流程规范以 workflow-full.yaml 为单真源，编译进 Rust 二进制，进程重启不丢失，多人共享永远一致。
P0–P3 验证流程以有向图表达，编译进 klymora-orchestrator 二进制。
不依赖 LLM 上下文窗口，session 重启后状态与路径完全一致。
Agent 沿骨架行走，每步只做局部的 read → think → write → check。
上一步 verdict 决定下一步路由，不走岔路。
挂了只回到该回的那一步，不整盘重开。
核签后要再验一层？force-rerun 像手术刀：清过期章，SPEC / interface.rs 留着。
| 维度 | 人类思维链 | Flintrix 思维链 |
|---|---|---|
| 载体 | 人脑短期记忆 | workflow-full.yaml 编译进二进制 |
| 持久性 | 做完就忘 / 靠笔记 靠人员稳定 |
永远一致 · 多人共享 进程重启不丢失 |
| 步骤顺序 | 凭经验排列 | phases[].steps[].next 显式有向图 |
| 判据 | "我觉得差不多了" | verdict_derive / prover 硬性判定 |
| 失败回退 | 凭记忆回到上一步 可能漏掉依赖 |
resume_routing 最小回溯 只回到最小依赖前驱 |
| 修复知识 | "我记得上次怎么修的" 人员离职即丢失 |
fix_loop.skills → klymora_get_skill 按需加载 |
Flintrix 是基于 Rust + VPI/VHPI 构建的验证框架，覆盖从 UT（单元级）到 CT（芯片级）的全部前仿真层级。 向上提供类型安全的异步测台 API，向下统一抽象各仿真器差异。
Rust 类型安全与异步协程赋予验证基础设施系统级可靠性。CORO–Worker–User 三域架构让激励与 DUT 严格解耦； klymora-orchestrator 将验证流程固化为确定性状态机；klymora-run 吸收各 EDA 差异， 同一套测台 Rust 零改动贯通 Verilator 到 VCS 企业 sign-off。
klymora-orchestrator 把 P0–P3 流程写进二进制状态机。 每步要过门禁才往下走；AI 只能干「当前这一步」，没法偷偷改状态冒充 Pass。
Step-gate · Stop-reason · 可审计无需为每家 EDA 写分支测台。Flintrix 在框架内部吸收 Verilator、Synopsys VCS、Mentor Questa、Icarus、Cadence Xcelium 的 VPI
调度差异，
测台 Rust 零改动，切换 klymora-run --simulator 即可平移。
Flintrix 的"宪法级"激励拓扑将验证环境严格分层：User 域发事务、Worker 域做编解码与 scoreboard、Coro 域在仿真时间域精确驱采 RTL。
结果：协议激励与 DUT 严格解耦基于 Trigger 和 Task 的调度系统，让"等一个时钟上升沿后采样 output"变成一行 await：
clk.rising_edge_ro().await?; // 采样 output
clk.rising_edge_rw().await?; // 驱动 input
| VIP | 覆盖协议 |
|---|---|
| PCIe P-Tile | Intel AVST / 683059 |
| PCIe H-Tile | Intel L-/H-Tile / 683111 |
| PCIe US/USP | Xilinx UltraScale / UltraScale+ AXI-S |
| AXI / AXIS | AMBA 总线协议事务级激励 |
Rust 并发断言持续采样 DUT；SVA 健康门禁防"空转断言"——自动检测断言是否因时序错位或绑定错误而从未触发；zooseek-coverage 聚合代码 / 功能 / 断言覆盖，支持跨 EDA 对比与阈值门禁；
激励审计 --record 生成 trace.json，精确回放每一次 Drive / Sample / ClockEdge。
给 SPEC 和接口，Agent 按规程生成 Harness / interface / scoreboard 骨架。 你从「手搓几千行 UVM」换成「审边界、补 corner、签 verdict」——脚手架交给机器。
SPEC → Harness · 人类在环验证已经签过，只想再跑某一层？说一句「重跑 P2.0」即可。 系统只清这一步该清的机器戳记，不会把你写好的 SPEC、interface.rs、测台母版一锅端。 全流程重开另有入口；日常迭代用手术刀，别用拖把。
force-rerun · 证据隔离 · 人说了算产品够不够深、人机怎么协作、账本够不够透明—— 下面三项都来自真实工程能力（Skills / MCP / 编排器），不是口号。
不是「跑通就算完」。激励拓扑有宪法，验证深度有分层，协议 VIP 按同一套规矩接。
日常在 Cursor / Claude / OpenCode 里用自然语言推进；卡点、重跑、核签，人始终握着方向盘。
验证结论要能给同事、给审核、给未来的自己看。状态机写路径收紧，证据链可追溯。
工具是确定的、规程是写死的、流程能重启接着跑——不绑死某一家大模型或 IDE。 Agent 可以换，验证账本还在。
22 步门控流水线，从 RTL 部署到 sign-off 全链路可审计；故障自动路由至精确恢复点。
所有验证能力通过 klymora-mcp JSON-RPC 暴露为确定性工具，IDE Agent 直接调用，结果可重现。
每类验证任务对应专用 Skill 规程文档，通过 klymora-index 统一路由；另含 API 参考与文档库 klymora-docs。
安装：install-agent-integration.sh 一键对接 8 路 Skills 软链 + 14 路规则 + 6 路 MCP · 详见 MCP 与 Skills
klymora-mcp 为确定性工具层；LLM 由 IDE 或私有化部署自行配置
从冒烟到 soak、从定向到协同，每一层都有明确定义的完成标准和自动判据。 AI-Native 芯片验证基础设施 按层推进，覆盖率、断言健康、激励审计共同决定能否进入下一层。
PCIe US/USP Endpoint 验证项目，从 SPEC → 测台 → 仿真 → 签核完整闭环。 编排器驱动全部 22 步 P0–P3 工作流，零人工干预完成全层验证。
3 个长时 soak 用例，随机种子矩阵驱动，验证 DUT 在长时间连续激励下的稳定性。
多 Agent 协同、全量回归级的编排用例，模拟多验证任务并行执行。
P0.6 (SPEC 人工审核) 与 P1.0 (TB 架构选择) 两道人审门禁均 approved。
自底向上逐级验证，同一套 Rust 框架、同一套 AI 工作流，从单元级穷举到芯片级 sign-off。
ALUs、FIFOs、寄存器堆等基础单元的定向与随机测试。Flintrix 的 async fn dut(SimObject) 模版与 klymora-run 秒级反馈，适合细粒度穷举。
AXI-Stream FIFO、AXI4-Lite MMIO、PCIe TLP 等协议，通过 VIP + scoreboard + 断言三件套完成端到端数据完整性检查。Testbench 与 DUT 由 CORO–Worker 严格解耦。
系统总线驱动多 IP 核协同工作，含处理器核的子系统级场景。Flintrix 的多 Fixture 与多时钟域支持，让集成验证环境水涨船高，无需另起炉灶。
同一套 Rust 测台在 VCS 上跑 coverage / FSDB 波形的企业 sign-off，同时在 Verilator 上跑 CI 快速门禁。AI-Native 芯片验证基础设施 自动完成部署 → 编译 → 仿真 → 诊断 → 修复 → 再验证的全闭环。
| 维度 | 传统 EDA 验证 | Flintrix 验证引擎 |
|---|---|---|
| 流程知识载体 | 人脑记忆 + 团队脚本 | workflow-full.yaml 编译进二进制 |
| 调试循环 | 人猜 → 改 → 跑 → 看波形 | Agent 读报告 → stop_reason 路由 → 加载 skill → 改码 → 重判 |
| 跨 EDA 迁移 | VCS 一套脚本、Questa 另一套 | klymora-run --simulator vcs / questa |
| 可审计性 | git log 只记脚本改动 | reports/loop/summary.json 每轮 verdict + SHA256 证据包 |
| 扩展方式 | 加流程 = 新人学 + 改 Makefile | 加 step = 改 YAML · 加知识 = 改 SKILL.md |
Agent 在分钟级完成读报告 → 定位 → 改码 → 重判的闭环迭代。验证团队从"等人跑完"中解放，把时间放回设计验证本身。
断言健康门禁 + CRV 约束定向组合 + 刺激审计，覆盖率空洞可定位、可靶向补充，不再靠猜盲区。
每轮验证 verdict 固化在 reports/ 中，证据包随设计交付。tapeout 前不突击、不靠感觉，验证完成度有据可查。
AI 按规范生成测台骨架，工程师 70% 的脚手架时间被释放，团队规模可扩张、验证策略可沉淀，新人也能快速产出企业级 Harness。
不用邀测码。邮箱注册即可下载安装包；注册附带试用额度，装上 AI IDE 就能跑验证闭环。
邮箱 + 密码即可；验证邮件点一下。无需邀测码，注册即开试用。
在 /downloads 选 flintrix-online 或 offline（deb / rpm / tar），本机或内网装上。
一键对接 Cursor / Claude / OpenCode 等；用自然语言推进 P0–P3，编排器把门禁。
试用够用先跑通；正式用量在套餐页购买 / 升级，微信或支付宝扫码即可。
flintrix-online 面向 AI-Native 芯片验证基础设施 多轮 verify 闭环与按量计费；flintrix-offline 面向企业内网 air-gap 部署，离线 .lic 授权。 两种交付共用同一引擎：测台 Rust 跨 EDA 零改动平移，用户 RTL 经 filelist 接入、Harness 不修改设计。
免费注册即得试用额度：klymora_verify 多轮仿真、stop_reason 路由、覆盖率与 sweep（Professional）。微信 / 支付宝扫码升级套餐，用量透明可查。
完整 klymora-run + Skills + MCP 本地运行。License 固定路径 ~/.config/klymora/license.lic 或环境变量
KAY_LICENSE_PATH，
AES-GCM 加密 + Ed25519 签名 + 硬件指纹绑定，无需设备码在线激活。
禁止直接调用 verilator/vcs/vsim。Harness 部署、编译、仿真、--record 激励审计、--coverage 覆盖率、--verify 多轮闭环， 全部经 klymora-run 单一入口；框架内吸收各 EDA 差异，测台 Rust 零改动平移。
Flintrix 将验证流程固化为持久化思维链，Agent 在分钟级完成 debug 闭环迭代。
人不需要再管 seed 调参、波形翻找、判据靠猜——只需要关注芯片里到底有没有 bug。