这是付费新闻稿。如有任何疑问，请直接联系新闻稿发布商。

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

Real Intent

2026年2月25日星期三 上午2:03 GMT+9 3分钟阅读

Real Intent

自动识别并检查RTL设计中的层级结构内的标准功能组件（SFCs）

加利福尼亚州桑尼维尔，2026年2月24日（环球新闻稿）——Real Intent, Inc. 今日宣布推出Conquest MAI，这是业界首款微架构完整性签核工具。Conquest MAI自动识别设计层级中的标准功能组件（SFCs），并执行局部完整性检查。

其先进的调试功能，包括FSM图和SFC功能块原理图，支持在验证过程中深入理解和探索设计。Conquest MAI的快速设置和极快性能，使其成为将微架构完整性签核纳入RTL签核的实用工具。

最小布尔：在RTL签核期间启用MAI签核

仿真和形式验证方法高度依赖布尔分析，因此各自存在显著限制。形式验证速度较慢，容量有限，难以进行全面分析，而仿真由于测试平台和验证周期庞大，难以实现微架构签核。

Conquest MAI对布尔方法的依赖极小。它主要使用抽象检查技术和问题特定分析，避免完全的布尔状态空间求解。因此，Conquest MAI：

运行速度比形式验证快10到100倍，在几分钟内分析百万门电路

在数小时内全面覆盖数十亿门的设计，无需黑箱处理  

这种结合使工程师能够将微架构完整性作为RTL签核的一部分。

推断功能意图以识别SFCs

Conquest MAI的核心在于其能够直接从RTL推断功能意图，自动识别FSM、FIFO、计数器、移位器和存储器等SFCs。它分析逻辑行为，理解设计实现的内容，而非依赖语法模式或命名规则。

Conquest MAI的意图推断具有：

不依赖编码风格——独立于RTL语法或命名规则识别SFCs

跨层级——即使功能分布在不同层级，也能识别组件

语义而非语法——识别嵌套在其他SFC中的SFC，并检测通过数组和生成结构创建的重复SFC  

这为应用SFC特定规则以实现微架构完整性签核奠定了基础。

微架构完整性检查

一旦Conquest MAI自动识别出SFCs，设计师即可运行微架构完整性检查。典型检查包括：

故事继续  

FSM状态汉明距离/权重——确认FSM状态编码满足最小汉明距离和权重要求，以检测意外比特翻转错误。

FIFO溢出与下溢——检查FIFO控制逻辑，确保在满时不写入、空时不读取，避免数据丢失或返回无效数据。

计数器越界使用——报告计数器是否与超出范围的值进行比较。

多端口RAM同时写入——检查多写端口的RAM，确保写入地址范围不重叠。  

可视化推断的SFC以支持调试

Conquest MAI将其推断意图分析应用于生成可视化，展示每个SFC的结构和行为，独立于RTL编码风格或实现细节。示例包括：

SFC原理图

 

*    
    
    功能块及其连接和控制关系
    
     
*    
    
    传统的内部SFC结构示意图  

带有状态、转移、复位和条件（如自环或不可达路径）的FSM图。​

显示相关特征（如时钟、复位等）的SFC查看器  

这些图形表示加快了调试速度，支持深入理解设计，并实现微架构问题的快速根因分析。

欲了解更多信息，请访问Conquest MAI — 微架构完整性签核工具

关于Real Intent

Real Intent 提供基于意图的静态签核EDA软件工具，以加快数字设计的“左移”验证。其静态签核产品包括RTL lint、时钟域交叉、复位域交叉、微架构完整性、DFT、硬件安全和连通性与毛刺检测。Real Intent的客户包括超过五十家主要半导体和系统公司。公司总部位于加利福尼亚州桑尼维尔，地址：932 Hamlin Court。欲了解更多信息，请访问 www.realintent.com。

联系方式：媒体联系人Gloria Nichols，LaunchM, Inc.，gloria@launchm.com