Home > 製品情報&ソリューション > Functional Verification

  • Contact
  • Print

Functional Verification

Functional Verification

Products

News & Articles

Resource Library(英語サイト)

Community(英語サイト)

Customer Success(英語サイト)

US Site

検証プロセス自動化

検証IP

テストベンチ・シミュレーション

フォーマル解析

検証メソドロジ

テストベンチ・シミュレーション

高度に集積化されたエレクトロニクス・システムやチップの開発において、機能検証は時として開発全体のボトルネックになることがあります。ケイデンスのテストベンチ・シミュレーション・ソリューションは総合的な‘検証計画から検証収束までのメソドロジ’を最先端のプロセス自動化と組み合わせ、個々のブロックからフルチップまで、さらにはプロジェクトレベルまで、検証を簡単化し高速化します。

Incisive Enterprise Simulator

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

詳しくは(英語サイト)
日本語データシート

Incisive Enterprise Verifier

シミュレータとフォーマル解析の2つのエンジンを統合した最上位の検証ソリューションです。

詳しくは(英語サイト)

Incisive Enterprise Specman Elite Testbench

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

詳しくは(英語サイト)

Incisive Verification IP

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

詳しくは(英語サイト)
詳しくは