Go Back
業界
テクノロジー
DSO.ai | Synopsys
DSO.ai
もっと詳しく知る
車載システム設計工程の前倒し
資料ダウンロード
カスタム設計プラットフォーム
設計/検証/製造性の追求

EDAリーディング・カンパニーのシノプシスがお届けするソリューション/サービス

ソリューション・ファミリー
光学設計ソリューション
システム・シミュレーション/モデリング
設計
3Dイメージデータ処理
検証
製造性
フォトニック・ソリューション
シリコンIP

高品質IPで皆様のシリコンでの成功を加速

インターフェイスIP
プロセッサIP
メモリーおよびライブラリ
セキュリティIP
SoCインフラストラクチャIP
SoCアーキテクチャ開発
IP Acceleratedイニシアティブ
IPマーケット
システム設計ソリューションについて

シノプシスは、ハードウェア・アシスト検証ならびに仮想プロトタイピング・ソリューションのリーディングカンパニーです

エミュレーション
System Test Generation
検証用IP
FPGAベース検証
プロトタイピング
バーチャル・プロトタイピング
すべての製品を表示
会社情報
リソース
Success Stories | Synopsys
Success Stories
詳細はこちら
Synopsys Careers
Pursue Your Passion
もっと詳しく知る

ユーザによるWebセミナー

Achieving the Best Verifiable QoR using Formal Equivalence Verification for PPA-Centric Designs

Speakers: Sidharth Ranjan Panda, Intel Corporation and Avinash Palepu, Synopsys

Register Now

Comprehensive Real-Time Low-Power Equivalence Signoff Using Formality

Speakers: Ramanathan Lakshmanan, Samsung Semiconductor Research and Alphyn Stanley, Synopsys

Watch On Demand

ViaSat社でFormalityとLynxを統合して採用

スピーカー: Matteo Citarelli（ViaSat）、Avinash Palepu（シノプシス）

今すぐ見る

Broadcom：最高度の検証可能なQoR – フォーマル等価検証の尺度
スピーカー: Sathappan Palaniappan、Broadcom主任エンジニア

SNUGペーパー

以下の文書にアクセスするにはSolvNetPlusアカウントが必要です。

R&D部門の声

Current Time 0:00
Duration 0:00
Loaded: 0%
Stream Type LIVE
Remaining Time 0:00
 
1x
    • Chapters
    • descriptions off, selected
    • subtitles off, selected

        Formality等価検証 検証可能な最高度のQoR...最大5倍高速化

        R&D担当シニア・ディレクターのTodd Buzanが、いかにFormalityが合成中にアグレッシブな最適化を行いQoR向上を実現するかを説明します。

        今すぐ見る
        Current Time 0:00
        Duration 0:00
        Loaded: 0%
        Stream Type LIVE
        Remaining Time 0:00
         
        1x
          • Chapters
          • descriptions off, selected
          • subtitles off, selected

              Formality分散検証技術のご紹介

              シニアR&DマネージャーのPhillip Baraonaが、Formalityの最新の適応型の分散検証技術でTATを最大5分の1に短縮する方法を説明します。

              今すぐ見る

              Formality ECO
              ECOの高速化、品質向上、初回成功

              詳細はこちら