スティミュラスフリー検証

一般的なRTLコーディングエラーが原因で深く隠れた問題を発見する完全自動のフォーマルイシューハンティングアプリ Questa Inspect テストベンチがなくてもさまざまな問題を解消できます。

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

Questa Increase Coverage は、コードカバレッジのクローズをより迅速に実現するための自動形式ソリューションであり、検証という議論の余地のない事実に対処します。これは、カバーされていないコードの一部が常に残っているという議論の余地のない事実に対処するものです。

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

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

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

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

Questa Equivalent RTL 徹底的な形式解析を使用して、仕様 RTL コードブロックと実装 RTL コードブロックを自動的に比較します。形式言語やプロパティ仕様言語に関する知識は不要です。

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

シーメンス Questa Equivalent 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の奥深くにあるロジックの問題の原因を迅速に特定し、修正によって他の問題が起こらないことを証明します。