Home > 製品情報&ソリューション > System Design and Verification

  • Contact
  • Print

System Design and Verification

System Design and Verification

Products

News & Articles

Resource Library(英語サイト)

Community(英語サイト)

Customer Success(英語サイト)

US Site

システム・シミュレーションと解析
高位合成
シミュレーション・アクセラレーション
エミュレーション
ハードウェア/ソフトウェア協調検証
検証IPの統合
アサーションベース検証
メトリクス・ドリブン検証
低消費電力の検証と解析

メトリクス・ドリブン検証

検証計画作成から検証の収束までの検証プロジェクトを効率的かつ正確にガイドするためには、メトリクスを活用する自動化された検証マネージメントが必要となります。ケイデンスのメトリクス・ドリブン・テクノロジは、ブロック、チップ、システムそしてプロジェクトレベルでの時間のかかる人手検証のタスクを自動化します。メトリクス・ドリブンのアプローチを使うことで、検証プロセスを合理化し、エラー情報とカバレッジ情報の両方をよりよく解析できるようになることで、不具合の原因の特定がより容易になります。

Incisive Palladium series

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

詳しくは(英語サイト)

Incisive Palladium Dynamic Power Analysis

ケイデンスのPalladium® III アクセラレータ/エミュレータを用いて、システムレベルのダイナミック電力解析 (DPA)を行うための拡張機能です。Palladium® IIIによるエミュレーション機能により、現実のソフトウェアも含めたシステムレベルでの消費電力を解析することで、電力と性能の間のより最適なトレードオフを可能とします。

詳しくは(英語サイト)

Incisive Enterprise Manager

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

詳しくは(英語サイト)

Incisive Xtreme series

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

詳しくは(英語サイト)