跳到正文

重点企业与生态

Real Intent 最新动态

CDC/RDC、静态签核、形式验证、AI调试

2 条精选近 30 天 0 条共收录 5 条

更新

Real Intent的精选

7月23日周四第 1–2 条
  1. Real Intent 官方动态62

    Real Intent 发布 Riven 签核 AI 智能体,称签核提速最高 10 倍

    Real Intent 发布 Riven 签核 AI 智能体,称可在其全部静态签核工具流程中把签核提速最高 10 倍。该智能体基于生成式与智能体 AI,提供工具知识查询、违例分析与优先级排序、错误根因定位及修复建议,工程师可修改或采纳建议后再运行签核工具。

    推荐理由:厂商自述称该智能体覆盖静态签核的知识查询、违例排序与根因调试,可观察AI如何接入签核流程。

2月20日周五
  1. Real Intent 官方动态60
    Real Intent 官方动态的报道配图

    Real Intent 发布 Conquest MAI 微架构完整性签核工具

    Real Intent 宣布推出 Conquest MAI,称其为业界首款微架构完整性签核工具,可在 RTL 设计过程中跨层级自动识别 FSM、FIFO、计数器、移位器和存储器等标准功能组件(SFC)并做局部完整性检查。

    推荐理由:厂商自述的微架构完整性签核工具,用抽象检查替代布尔求解,可对照其速度与覆盖范围说法。