Functional Verification

Incisive Enterprise Manager

検証計画作成から収束まで自動化しガイドします。SystemVerilogと e の機能カバレッジ機能を含みます。

Incisive Desktop Manager

検証タスクと結果の可視化と、ツールの自動実行のサポートを行います。

Incisive Enterprise Simulator

システムレベルからゲートレベルまで対応した、多言語サポートのカバレッジ・ドリブン機能検証、解析、デバッグのソリューションを提供します。テストベンチ生成を自動化します。

Incisive Verification IP

先進的なテストベンチ、抽象度の高いテストベンチのためのトランザクションベース・アクセラレーション、フォーマルやシミュレーション、またアクセラレーションで利用可能なブロックレベル検証のためのアサーションベースVIP、そしてエミュレーションとインサーキット検証をサポートします。複雑なプロトコル(PCI Express、 AMBA、 USB、 OCP、 Ethernet その他) に幅広く利用可能です。OVMに準拠しさまざまなIEEE標準言語をサポートします。

Cadence SoC Functional Verification Kit

再利用可能な先進的検証テクニックの採用を自動化かつ容易にし、検証作業の生産性と予測性を高めます。インタラクティブなフローベースのアプローチを使って‘検証計画から検証収束までのメソドロジ’をインプリメントします。

Cadence Low-Power Methodology Kit

低消費電力のテクニックの導入を容易にし、利用する上での各種情報・ノウハウを提供します。フロントからバックまでの完全なメソドロジ、ベストプラクティス、チェックリストそしてリファレンス・フローを提供し、低消費電力設計フローの導入のリスクをなくします。