Home > 製品情報&ソリューション > Logic Design

  • Contact
  • Print

Logic Design

Logic Design

Products

News & Articles

Resource Library(英語サイト)

Community(英語サイト)

Customer Success(英語サイト)

US Site

チップ・プランニング

コンストレイト・デザインと検証

論理合成

等価性検証

低消費電力検証

Engineering Change Order (ECO)

テスト

スタティック・タイミング解析

フォーマル解析

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

設計と検証IPのモデリング

検証マネージメント

検証マネージメント

検証の収束までの予測可能な経路を達成するために、ブロック、チップそしてシステムレベルで包括的なカバレッジを持つ、自動化されたプランニングとメトリック管理が必要とされます。ケイデンスのテクノロジは進展していくデザインの進捗状況を機能、性能そしてスケジュールの目標に対し同時にたどります。シミュレーション実行の展開を自動化し、不具合とカバレッジデータを解析し収束に向けて工程をガイドします。

Cadence Low-Power Methodology Kit

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

詳しくは(英語サイト)

Incisive Desktop Manager

検証タスクと結果の可視化と、ツールの自動実行のサポートを行います。

詳しくは(英語サイト)

Incisive Verification IP

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

詳しくは(英語サイト)