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

  • Contact
  • Print

Functional Verification

Functional Verification

Products

News & Articles

Resource Library(英語サイト)

Community(英語サイト)

Customer Success(英語サイト)

US Site

検証プロセス自動化

検証IP

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

フォーマル解析

性能のアクセラレーション

検証メソドロジ

性能のアクセラレーション

今日の大規模で複雑なデザインの検証には、実際のシリコンが入手できるよりもはるか前に、ソフトウェア・シミュレーションとの互換性を持った高速検証手法を必要としています。ケイデンスのアクセラレーション・テクノロジは大容量かつシミュレーション互換であり、ビヘイビア、RTL、ゲートの各レベルで検証を高速化可能です。

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標準言語をサポートします。

詳しくは