這是一份付費新聞稿。如有任何詢問，請直接聯繫新聞稿發行商。

Real Intent 宣布 Conquest MAI — 微架構完整性簽核

Real Intent

2026年2月25日 星期三 上午2:03 GMT+9 讀取時間約3分鐘

Real Intent

在RTL設計過程中自動識別並檢查層級中的標準功能元件（SFCs）

加州Sunnyvale，2026年2月24日（GLOBE NEWSWIRE）— Real Intent, Inc. 今日宣布推出Conquest MAI，業界首款微架構完整性簽核工具。Conquest MAI能自動識別設計層級中的標準功能元件（SFCs），並執行局部完整性檢查。

其先進的除錯能力，包括FSM圖和SFC功能模塊原理圖，支援在驗證過程中深入理解與探索設計。Conquest MAI的快速設定與極速性能，使其成為將微架構完整性簽核納入RTL簽核流程的實用工具。

Minimally Boolean：在RTL簽核期間啟用MAI簽核

模擬與形式驗證方法嚴重依賴布林分析，且各自存在重大限制。形式驗證速度較慢，容量限制限制了全面分析，而模擬則因大量測試平台與驗證週期而不切實際，難以達成微架構簽核。

Conquest MAI僅在布林方法上有最低程度的依賴。它主要使用抽象檢查技術與問題特定分析，避免完全的布林狀態空間求解。因此，Conquest MAI：

速度比形式驗證快10到100倍，在幾分鐘內分析百萬閘門

在數小時內全面覆蓋擁有數十億閘門的設計，無需黑箱化  

這種組合使工程師能將微架構完整性作為RTL簽核的一部分。

推斷功能意圖以識別SFCs

Conquest MAI的核心在於其能直接從RTL推斷功能意圖，自動識別FSM、FIFO、計數器、移位器與記憶體等SFCs。它分析邏輯行為，理解設計實現的內容，而非依賴語法模式或命名規則。

Conquest MAI的意圖推斷具有：

不依賴程式碼風格 — 識別SFCs不受RTL語法或命名規則限制

跨層級 — 即使功能分散在設計層級中，也能識別元件

語義而非語法 — 識別嵌入其他SFCs中的SFC，並偵測由陣列與生成結構產生的重複SFCs  

這為應用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 linting、時脈域交叉、重置域交叉、微架構完整性、DFT、硬體安全性，以及連接性與雜訊。Real Intent的客戶涵蓋超過五十家主要半導體與系統公司。公司總部位於加州Sunnyvale，地址為932 Hamlin Court。如需更多資訊，請訪問www.realintent.com。

聯絡人：媒體聯絡Gloria Nichols，LaunchM, Inc. gloria@launchm.com

條款與隱私政策

隱私儀表板

更多資訊