Functional Verification

Incisive Verification IP

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

Cadence SoC Functional Verification Kit

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

Cadence Low-Power Methodology Kit

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