Cadence Verification

ケイデンスは、業界をリードするベアメタル・コンピューティング、最速の検証エンジン、スマートな検証アプリケーションを提供することで、工期および費用あたり最も多くのバグを検出し修復できます。

主な利点

最速の検証エンジンとアプリケーションにより、比類ない検証スループットと生産性を実現します。

生産性とスループット

検証の生産性とスループットを向上させ、チームのコラボレーションを強化することで、ユーザーは投資額あたり最も多くのバグを発見し、修正することができます。

充実した検証機能

検証エンジン間での検証タスクの自動化、デバッグ、トラッキング、管理、測定など、スマートな検証管理を実現します。

業界標準

幅広い業界標準、サードパーティツール、Arm社やGreen Hills Software社などのエコシステムパートナーとの統合をサポートします。

製品カテゴリー

ケイデンスの検証ソリューションは、設計品質とスループットを向上させるコアエンジンとアプリケーションで構成されており、さまざまな製品分野や特定業種での検証の要求要件を満たします。

フォーマル検証とスタティック検証

テストベンチを必要とせず、数ヶ月の検証工数を削減し、設計の早い段階でより多くのバグを発見することができる網羅的な検証方法です。

LEARN MORE

解析

シングルコアおよびマルチコアのシミュレーション・テクノロジを活用して、個々のテスト・パフォーマンスを最適化し、マシンラーニングに最適化されたリグレッション・テクノロジを活用して、最高のリグレッションスループットを実現します。

LEARN MORE

Emulation and Prototyping

ケイデンスは、IPやSoCの検証、ハードウェアやソフトウェアのリグレッションテスト、早期のソフトウェア開発など、網羅的なソリューションを提供しています。

LEARN MORE

設計管理

ブロック、チップ、システムレベルでの高度な検証管理と自動化により、検証全体のスループットと品質を向上させる

LEARN MORE

Verification IP

Cadence® Verification IP (VIP) カタログとmemory modelsは、今日のデザインで必要とされるIP、SoC、システムの検証に最適化されています。

LEARN MORE

デバッグ解析

RTL、テストベンチ、VIP、SoC検証のデバッグ需要に応える優れたソリューション

LEARN MORE

ソフトウェア・ドリブン検証

ケイデンスはテスト開発を自動化し、ソフトウェア・ドリブンの検証を大きく効率化させました。

LEARN MORE

システムレベル検証用IP

検証の自動化をSoCに導入し、既存の自前のメソドロジーと比較して、チップレベルの検証効率を最大10倍向上させることができます。

LEARN MORE

Virtual Platform

組込みソフトウェア/ファームウェアの検証とデバッグ、およびOSの起動を、純粋な仮想およびハイブリッド構成のSoC上で行うことにより、SoCの開発を加速します。

LEARN MORE

安全検証

ケイデンスの設計および検証フローと完全に統合されたデジタルおよびアナログ／ミックスシグナル向けの安全規格準拠ソリューションによる生産性の向上と安全規格準拠開発の加速

LEARN MORE

ケイデンスで検証

お客様がDynamic Duoを使用して、検証、妥当性確認、プレシリコン・ソフトウェアの立ち上げの間のワークロード配分を最適化し、シフト・レフト手法を採用して製品開発プロセスを加速させる方法をご紹介します。

 

AMD Designs 3rd-Gen EPYC Server Processors for HPC with Dynamic Duo

Palladium and Protium help AMD push emulation in capacity, next-gen testbench design, advanced clocking, and hybrid use.

NVIDIA Embraces the Groundbreaking Technology, Dynamic Duo 2.0

Learn how Dynamic Duo 2.0 is becoming a game-changer technology for NVIDIA.

Videos

Resources