Home > 製品情報&ソリューション > Functional Verification
今日の大規模で複雑なデザインの検証には、実際のシリコンが入手できるよりもはるか前に、ソフトウェア・シミュレーションとの互換性を持った高速検証手法を必要としています。ケイデンスのアクセラレーション・テクノロジは大容量かつシミュレーション互換であり、ビヘイビア、RTL、ゲートの各レベルで検証を高速化可能です。
Incisiveシミュレータと同等の使い易さ、精度、コントロール、観測性で、検証時間の短縮を可能とします。シミュレーションとアクセラレーションのHot-Swap切り替え機能により、シミュレーション実行時に必要に応じてアクセラレーションと切り替えて使うことも容易です。サブシステムからSoC全体まで、シミュレーション・アクセラレーションとエミュレーションが可能です。
検証計画作成から収束まで自動化しガイドします。SystemVerilogとe の機能カバレッジ機能を含みます。
システムレベルからゲートレベルまで対応した、多言語サポートのカバレッジ・ドリブン機能検証、解析、デバッグのソリューションを提供します。テストベンチ生成を自動化します。
先進的なテストベンチ、抽象度の高いテストベンチのためのトランザクションベース・アクセラレーション、フォーマルやシミュレーション、またアクセラレーションで利用可能なブロックレベル検証のためのアサーションベースVIP、そしてエミュレーションとインサーキット検証をサポートします。複雑なプロトコル(PCI Express、 AMBA、 USB、 OCP、 Ethernet その他) に幅広く利用可能です。OVMに準拠しさまざまなIEEE標準言語をサポートします。