DSO.ai
もっと詳しく知る →
SoC设计は複雑であるため、検証とデバッグを高速化し、スケジュール全体を短縮し、予測性を改善するための、高速で包括的な検証方法が必要です。次世代フォーマル検証ソリューションであるVC Formal?には、最も困難なSoC设计の問題でも検証できる容量、速度、柔軟性があります。また、Verdi?デバッグ?プラットフォームの技術が含まれており、根本原因をすばやく特定するための包括的な解析およびデバッグを行います。VC Formalソリューションは、高いパフォーマンスと大容量を安定提供し、VCS?機能検証ソリューションとのネイティブ統合により、大規模な设计内でより多くのバグを発見し设计の完成度を高めるとともに、迅速なカバレッジを達成します。
VC Formalソリューションには、Property Verification(FPV)、Auto Extracted Properties(AEP)、Coverage Analyzer(FCA)、Connectivity Checking(CC)、Sequential Equivalence Checks(SEQ)、Register Verification(FRV)、Testbench Analyzer(FTA)、Formal Navigator(NAV)などの包括的なフォーマル?アプリケーション(Apps)セットと、標準バス?プロトコルの検証用のアサーション IP(AIP)のポートフォリオが含まれています。