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

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

Incisive Verification IP

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

Cadence SoC Functional Verification Kit

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

Cadence Low-Power Methodology Kit

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

Incisive Enterprise Specman Elite Testbench

テストベンチ生成と再利用を自動化し、ブロック、チップそしてシステムレベルの検証の生産性を押し上げます。

Incisive Design Team Simulator

SystemVerilogを含め多言語の完全なシミュレーションをサポートします。幅広いカバレッジ(コード、ファンクショナル、トランザクショナル)とHDL解析機能を提供します。

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

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

Incisive Formal Verifier

テストベンチが利用可能となる前に、アサーションベース検証フォーマル解析とデバッグを行えます。これにより、より早く検証済みRTLデザインを得ることができます。

Cadence SoC Functional Verification Kit

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

Cadence Low-Power Methodology Kit

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

Incisive Xtreme series

Incisiveシミュレータと同等の使い易さ、精度、コントロール、観測性で、検証時間の短縮を可能とします。シミュレーションとアクセラレーションのHot-Swap切り替え機能により、シミュレーション実行時に必要に応じてアクセラレーションと切り替えて使うことも容易です。サブシステムからSoC全体まで、シミュレーション・アクセラレーションとエミュレーションが可能です。

Incisive Enterprise Manager

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

Incisive Enterprise Simulator

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

Incisive Verification IP

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

Incisive Plan-to-Closure Methodology

ベストプラクティスと最適化された手法のシステムとして検証の舵取りをします。自動化された実行可能な検証計画の作成から、システムレベルの検証収束の達成まで、検証プロセス全体にわたっています。

Open Verification Methodology

標準ライブラリや実証されたメソドロジにより、真のSystemVerilogインターオペラビリティを促進します。プラグアンドプレイの検証IPの開発と使用を容易にします。

Cadence SoC Functional Verification Kit

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