SigmanticAI - ハードウェア検証自動化

概要

SigmanticAI は、半導体およびデジタル検証チーム向けの、AI ベースのハードウェア検証自動化製品です。自然言語仕様または RTL コンテキストから、UVM テストベンチ、制約付き刺激、機能カバレッジ、アサーション、レジスタモデルなどの検証成果物を生成することに注力しています。

この製品は、既存の設計検証環境を置き換えるものではなく、そのワークフローを加速するものとして位置付けられています。中核となる価値は、定型的な検証コード作成に伴う手作業を削減し、生成物を既存の DV フローと互換性のある状態に保ちながら、チームがより迅速に有意義なカバレッジへ到達できるよう支援することです。

機能

• UVM テストベンチ生成: 仕様から UVM 環境、エージェント、シーケンス、スコアボードを生成し、チームが手動セットアップ作業を減らして、より早くシミュレーションを開始できるようにします。
• カバレッジ駆動の刺激生成: カバレッジ目標に結び付いたディレクテッドおよび制約付きランダム刺激を生成し、検証作業がまだ網羅できていない項目に集中できるよう支援します。
• 機能カバレッジモデル生成: 検証進捗を構造的に追跡し、カバレッジクロージャ作業を支援することを目的としたカバレッジモデルを構築します。
• アサーション生成: SVA/PSL によるプロトコル、安全性、正当性のアサーションを自動生成し、チェックを強化してフローの早い段階で問題を検出しやすくします。
• レジスタ定義とマッピング: シミュレーション対応のレジスタモデルとマッピングを生成し、反復的なレジスタモデル作成の負担を軽減できます。
• 既存環境に適した導入性: サイトでは、この製品は既存のシミュレータおよびフローで動作し、IP 境界を尊重し、オンプレミスまたは制御された環境に導入できるとされています。

参考ポイント

• 生成物を社内標準に照らして検証する: 生成された成果物が本番利用可能と説明されていても、チームは命名規則、方法論への適合性、プロジェクト固有の検証意図についてレビューすべきです。
• 限定的なユースケースから始める: 初期導入は、より広範な DV プログラムへ拡大する前に、単一の IP ブロック、インターフェースエージェント、またはアサーションセットに適用するほうが進めやすいことが多いです。
• ワークフロー成果で価値を測定する: この種のツールの実用的な評価では、レビュー工数、シミュレーション準備状況、カバレッジ進捗、反復的コーディングの削減に注目すべきです。
• セキュリティおよび IP 取り扱い要件との適合性を確認する: 機密性の高い仕様や RTL から検証資産を構築する場合、導入モデルと IP 境界の制御は評価項目に含めるべきです。
• 入力ソースの品質要件を明確にする: 生成は自然言語仕様または RTL コンテキストに依存するため、出力品質はそれらの入力がどれだけ完全かつ構造化されているかに左右される可能性があります。