Real Intent 发布 Riven 签核 AI 智能体,称签核提速最高 10 倍
Real Intent 发布 Riven 签核 AI 智能体,称可在其全部静态签核工具流程中把签核提速最高 10 倍。该智能体基于生成式与智能体 AI,提供工具知识查询、违例分析与优先级排序、错误根因定位及修复建议,工程师可修改或采纳建议后再运行签核工具。
推荐理由:厂商自述称该智能体覆盖静态签核的知识查询、违例排序与根因调试,可观察AI如何接入签核流程。
重点企业与生态
CDC/RDC、静态签核、形式验证、AI调试
2 条精选近 30 天 0 条共收录 5 条
Real Intent 发布 Riven 签核 AI 智能体,称可在其全部静态签核工具流程中把签核提速最高 10 倍。该智能体基于生成式与智能体 AI,提供工具知识查询、违例分析与优先级排序、错误根因定位及修复建议,工程师可修改或采纳建议后再运行签核工具。
推荐理由:厂商自述称该智能体覆盖静态签核的知识查询、违例排序与根因调试,可观察AI如何接入签核流程。

Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。
推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。