DSO.ai
もっと詳しく知る →
主な特長
VCSと統合されたコンパイル
シミュレーション、エミュレーション、プロトタイピングへとシームレスに環境移行
Verdiと統合されたデバッグ
あらゆるドメインおよび、あらゆる抽象度のバグをひとつの環境で検出・修正することでデバッグ効率が劇的に向上
ネイティブ統合
検証の効率、パフォーマンス、スループットが向上早期ソフトウェア開発とシステム全体の検証
業界をリードするシミュレータVCS®、デバッグ・ツールVerdi®、RTLスタティック・サインオフ・ツールVC SpyGlass™、VC Formal™ Apps、およびシリコン実証済みの検証用IPでSoC全体を検証します。また、市場最速のエミュレーション・システムを活用して、ソフトウェア開発期間を短縮し、バーチャル・プロトタイピング・ツールVirtualizer™とFPGAプロトタイピング・ツールHAPS®でシステム全体の検証を行います。
シノプシス検証ツール・ファミリーの新機能
最新ニュース、ブログ、Webセミナーなどの有益な情報をご確認ください。
シノプシスがお手伝いします
CoStart検証サービス
生産性向上と開発リスク低減のためのシノプシスのサービス
シノプシスでは、検証メソドロジの確立を加速するために、フォーマル検証、ローパワー検証、スタティック検証、および検証用IPを網羅したCoStart検証サービスをご提供しており、10日間の献身的な技術サポート/支援サービスをお約束します。
- フォーマル検証： お客様と協力して、お客様の検証メソドロジへのフォーマル検証手法の導入を実現します。
- ローパワー検証： ローパワー・スタティック・チェック・フローとシミュレーション環境の構築を支援します。
- CoStartスタティック検証： RTLサインオフ・メソドロジとフローの構築を実現します。
- 検証用IP： お客様がプロトコルの基本を理解し、VIPをテストベンチと統合するための支援を行います。
検証コンサルティング・サービス
作業明細書（SOW）に基づいた検証コンサルティング・サービス
シノプシス・フォーマル検証向けコンサルティング・サービスでは、お客様固有のニーズに合わせて様々なオプションをご用意しています。フォーマル検証手法のトレーニングや、ターンキー・プロジェクトなどの多彩なオプションにより、お客様が独自にプロジェクトをカスタマイズおよび定義できます。シノプシスの検証コンサルティング・チームは以下の支援を行います。
- ブロック、サブシステム、SoCレベルの検証により、顧客ニーズへの早期対応を支援 。
- ベストプラクティスを活用して、最適化された手法の導入とフローの強化を支援 。
- 契約のカスタマイズ により、顧客固有のスコープとタスクに対応したソリューションの実現を支援。
- 各分野のエキスパート（プロトコル、フォーマル、ローパワー、スタティック、デバッグ）がお客様のチームを強化 。
シノプシスの検証ファミリーをすべて見る
イノベーションを生み出すコミュニティ
SolvNetPlus
シノプシスのサポート・コミュニティはこちら！ログインが必要です。
SNUG
境界を越えて、グローバル・コミュニティとつながりましょう。