刺激なしの検証

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

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

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

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

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

Questa Check Register アプリは、CSVまたはIP-XACTレジスターの仕様に照らして、制御とステータスレジスターの動作を徹底的に検証することを自動化します。

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

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

Questa Check Xは、テストベンチなしでRTLレベルで「X」の問題を徹底的に解決する自動アプリケーションです。

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

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

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

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

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

Questa FPUアプリケーションは検証作業負荷を大幅に最小限に抑え、浮動小数点実装と望ましい結果との正確な調整を保証します。

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

Analyze Architectureは、大規模なハードウェアシステムが指定されたアーキテクチャに準拠しているかどうかをユーザーが検証できる画期的なソリューションです。

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