これは有料のプレスリリースです。お問い合わせはプレスリリース配信元に直接ご連絡ください。  リアルインテント、Conquest MAI — マイクロアーキテクチャの整合性サインオフを発表========================================================================== リアルインテント 水曜日, 2026年2月25日 午前2:03 GMT+9 3分で読む  リアルインテント _RTL設計中に階層全体の標準機能コンポーネント（SFC）を自動的に識別・検査_ カリフォルニア州サニーベール、2026年2月24日（グローブニュースワイヤー） -- リアルインテント株式会社は本日、業界初のマイクロアーキテクチャ整合性サインオフツール「Conquest MAI」を発表しました。Conquest MAIは、設計階層全体の標準機能コンポーネント（SFC）を自動的に識別し、局所的な整合性チェックを行います。 高度なデバッグ機能には、FSMダイアグラムやSFC機能ブロックの回路図が含まれ、検証プロセス全体を通じて深い設計理解と探索をサポートします。Conquest MAIの迅速な設定と非常に高速なパフォーマンスにより、マイクロアーキテクチャの整合性サインオフをRTLサインオフの一部として取り入れることが実用的になります。 **最小限のブール論理：RTLサインオフ中のMAIサインオフを可能に** シミュレーションと形式検証の手法は、ブール解析に大きく依存しており、それぞれに重要な制限があります。形式検証は遅く、容量制約により網羅的な解析が制限される一方、シミュレーションは、マイクロアーキテクチャのサインオフを達成するために必要なテストベンチや検証サイクルの膨大さから実用的ではありません。 Conquest MAIは、ブール法にほとんど依存しません。主に抽象的な検査技術と問題特化型の解析を用いており、完全なブール状態空間の解決を避けています。その結果、Conquest MAIは： * 形式検証より10倍から100倍高速で、100万ゲートを数分で解析 * 数十億ゲートの設計もブラックボックス化せずに数時間で網羅的にカバー この組み合わせにより、エンジニアはマイクロアーキテクチャの整合性をRTLサインオフの一部として取り入れることが可能です。 **機能意図の推定によるSFCの自動識別** Conquest MAIの中心的な機能は、RTLから直接機能意図を推定し、FSM、FIFO、カウンター、シフター、メモリなどのSFCを自動的に識別することです。論理動作を解析して設計の実装内容を理解し、構文パターンや命名規則に頼らずに識別します。 Conquest MAIの意図推定は次の通りです： * コーディングスタイルに依存しない — RTLの構文や命名規則に関係なくSFCを識別 * 階層横断 — 機能が階層全体に分散していてもコンポーネントを認識 * セマンティック（意味論）に基づく — 他のSFC内に埋め込まれたSFCや、配列や生成構造を用いて複製されたSFCを検出 これにより、マイクロアーキテクチャ整合性サインオフに必要なSFC固有のルール適用の基盤が確立されます。 **マイクロアーキテクチャ整合性チェック** Conquest MAIが自動的にSFCを識別した後、設計者はマイクロアーキテクチャの整合性チェックを実行できます。代表的なチェックは次の通りです： ストーリー続く * FSM状態のハミング距離/重み — FSM状態エンコーディングが誤ったビット反転のエラー検出に必要な最小ハミング距離と重みを満たしているか確認 * FIFOのオーバーフローとアンダーフロー — FIFO制御ロジックが満杯時の書き込みと空時の読み出しを防ぎ、データ損失や無効なデータ返却を防止 * カウンターの範囲外使用 — カウンターが範囲外の値と比較されていないか報告 * 複数書き込みポートを持つRAM — 複数書き込みポートを持つRAMで、書き込みアドレス範囲が重複していないか確認 **デバッグのための推定SFCの可視化** Conquest MAIは、推定された意図分析を用いて、各SFCの構造と動作を示すビジュアライゼーションを生成します。これらはRTLのコーディングスタイルや実装の詳細に依存しません。例としては： * SFC回路図 * 機能ブロックと接続・制御関係 * 内部SFC構造の従来の回路図ビュー * 状態、遷移、リセット、自己ループや到達不能なパスなどの条件を示すFSMダイアグラム。 * 関連特性（例：クロック、リセットなど）を表示するSFCビューア これらのグラフィカルな表現はデバッグを加速し、深い設計理解を支援し、マイクロアーキテクチャの問題の根本原因分析を迅速化します。 詳細については、Conquest MAI — マイクロアーキテクチャ整合性サインオフをご覧ください。 **リアルインテントについて** リアルインテントは、意図駆動型の静的サインオフEDAソフトウェアツールを提供し、デジタル設計の高度な機能検証における「シフトレフト」を加速します。同社の静的サインオフ製品には、RTLリント、クロックドメインクロッシング、リセットドメインクロッシング、マイクロアーキテクチャ整合性、DFT、ハードウェアセキュリティ、コネクティビティ＆グリッチなどがあります。リアルインテントの顧客には、50社以上の主要半導体・システム企業が含まれます。本社はカリフォルニア州サニーベールのハムリンコート932番地にあります。詳しくは www.realintent.com をご覧ください。 お問い合わせ：メディア担当 グロリア・ニコルズ LaunchM, Inc. gloria@launchm.com 利用規約とプライバシーポリシー プライバシーダッシュボード 詳細情報
Real Intent、Conquest MAI — マイクロアーキテクチャの整合性認証を発表
これは有料のプレスリリースです。お問い合わせはプレスリリース配信元に直接ご連絡ください。
リアルインテント、Conquest MAI — マイクロアーキテクチャの整合性サインオフを発表
リアルインテント
水曜日, 2026年2月25日 午前2:03 GMT+9 3分で読む
リアルインテント
RTL設計中に階層全体の標準機能コンポーネント（SFC）を自動的に識別・検査
カリフォルニア州サニーベール、2026年2月24日（グローブニュースワイヤー） – リアルインテント株式会社は本日、業界初のマイクロアーキテクチャ整合性サインオフツール「Conquest MAI」を発表しました。Conquest MAIは、設計階層全体の標準機能コンポーネント（SFC）を自動的に識別し、局所的な整合性チェックを行います。
高度なデバッグ機能には、FSMダイアグラムやSFC機能ブロックの回路図が含まれ、検証プロセス全体を通じて深い設計理解と探索をサポートします。Conquest MAIの迅速な設定と非常に高速なパフォーマンスにより、マイクロアーキテクチャの整合性サインオフをRTLサインオフの一部として取り入れることが実用的になります。
最小限のブール論理：RTLサインオフ中のMAIサインオフを可能に
シミュレーションと形式検証の手法は、ブール解析に大きく依存しており、それぞれに重要な制限があります。形式検証は遅く、容量制約により網羅的な解析が制限される一方、シミュレーションは、マイクロアーキテクチャのサインオフを達成するために必要なテストベンチや検証サイクルの膨大さから実用的ではありません。
Conquest MAIは、ブール法にほとんど依存しません。主に抽象的な検査技術と問題特化型の解析を用いており、完全なブール状態空間の解決を避けています。その結果、Conquest MAIは：
この組み合わせにより、エンジニアはマイクロアーキテクチャの整合性をRTLサインオフの一部として取り入れることが可能です。
機能意図の推定によるSFCの自動識別
Conquest MAIの中心的な機能は、RTLから直接機能意図を推定し、FSM、FIFO、カウンター、シフター、メモリなどのSFCを自動的に識別することです。論理動作を解析して設計の実装内容を理解し、構文パターンや命名規則に頼らずに識別します。
Conquest MAIの意図推定は次の通りです：
これにより、マイクロアーキテクチャ整合性サインオフに必要なSFC固有のルール適用の基盤が確立されます。
マイクロアーキテクチャ整合性チェック
Conquest MAIが自動的にSFCを識別した後、設計者はマイクロアーキテクチャの整合性チェックを実行できます。代表的なチェックは次の通りです：
デバッグのための推定SFCの可視化
Conquest MAIは、推定された意図分析を用いて、各SFCの構造と動作を示すビジュアライゼーションを生成します。これらはRTLのコーディングスタイルや実装の詳細に依存しません。例としては：
これらのグラフィカルな表現はデバッグを加速し、深い設計理解を支援し、マイクロアーキテクチャの問題の根本原因分析を迅速化します。
詳細については、Conquest MAI — マイクロアーキテクチャ整合性サインオフをご覧ください。
リアルインテントについて
リアルインテントは、意図駆動型の静的サインオフEDAソフトウェアツールを提供し、デジタル設計の高度な機能検証における「シフトレフト」を加速します。同社の静的サインオフ製品には、RTLリント、クロックドメインクロッシング、リセットドメインクロッシング、マイクロアーキテクチャ整合性、DFT、ハードウェアセキュリティ、コネクティビティ＆グリッチなどがあります。リアルインテントの顧客には、50社以上の主要半導体・システム企業が含まれます。本社はカリフォルニア州サニーベールのハムリンコート932番地にあります。詳しくは www.realintent.com をご覧ください。
お問い合わせ：メディア担当 グロリア・ニコルズ LaunchM, Inc. gloria@launchm.com
利用規約とプライバシーポリシー
プライバシーダッシュボード
詳細情報