刺激なしの検証

一般的なRTLコーディングエラーによって隠れた問題を発見する全自動の正式な問題ハンティングアプリです。Formal Inspectionを使用すると、テストベンチがなくてもさまざまな問題を解決できます。

Questa One SFV内の接続分析は、形式言語やプロパティ仕様言語の知識がなくても、静的接続と動的接続を徹底的に検証するための完全に自動化されたソリューションです。

Questa Incase Coverageは、コードカバレッジの終了をより早く実現するための自動的な正式なソリューションです。検証という議論の余地のない事実に対処します。カバーされていないコードの一部が常に残っているということです。

正式なVIP AMBAとOnChipライブラリは、プロトコルと方法論の専門知識を、一般的な業界標準インターフェイスをサポートする再利用可能なアサーションのパッケージに組み込むことで、品質を向上させ、スケジュールを削減します。

Questa One SFV Property Verificationは、問題を検出するための特別な刺激を必要とせずに、発生する可能性のある設計エラーを徹底的に発見します。これにより、検証済みのデザインは、すべての法的インプットシナリオで問題が発生しないことが保証されます。

Questa One SFVレジスタ分析は、CSVまたはIP-XACTレジスタ仕様に対する制御およびステータスレジスタの動作の徹底的な検証を自動化します。

Questa One SFV内のSecurity 分析は、指定したパスのみがセキュリティまたはセーフティクリティカルなストレージ要素に到達できることを徹底的に検証するための完全に自動化されたソリューションです。

Questa One SFV RTL Equivalenceは、徹底的な形式分析を使用して、仕様RTLコードブロックと実装RTLコードブロックを自動的に比較します。形式言語やプロパティ仕様言語の知識は必要ありません。

Questa One SFV内のX感度分析は、テストベンチなしでRTLレベルで「X」の問題を徹底的に根絶する自動ソリューションです。

Siemens Questaと同等のFPGAソリューションは、合成やプレースアンドルートの最適化などのFPGA実装フローが機能エラーを引き起こさないことを保証します。

ギャップフリー検証は、すべての入力のすべての機能を証明することでデジタル設計の品質を最適化し、これまでにないほど低い問題回避率を実現します。

Questa HL-SYC拡張による高レベルの設計検証は、フローの早い段階で検証を開始することで、合成前の問題を排除するのに役立ちます。

Questa One SFV Trust Analysisは、セキュリティに関する脆弱性の懸念を検出して報告するために自動分析を採用しています。

RISC-V設計がISAおよび機能上の前提条件に準拠していることを確認し、テストベンチを作成する必要がなくなるため、検証が迅速になります。

Questa One SFV FPU分析は検証作業負荷を大幅に最小限に抑え、浮動小数点実装と望ましい結果との正確な調整を保証します。

フォールトプロテクション分析はフォーマルテクノロジーに基づいたソリューションで、障害を注入して分析し、その結果をハードウェアのセキュリティと安全性について正式にチェックします。

Questa Post Silicon Debugアプリは、形式分析とプロパティ合成を活用して、SoCの奥深くにあるロジックの問題の原因を迅速に特定し、修正によって他のものが壊れることがないことを証明します。