スケーラブルなSoC検証

CoStart検証サービス

生産性向上と開発リスク低減のためのシノプシスのサービス

シノプシスでは、検証メソドロジの確立を加速するために、フォーマル検証、ローパワー検証、スタティック検証、および検証用IPを網羅したCoStart検証サービスをご提供しており、10日間の献身的な技術サポート/支援サービスをお約束します。

• フォーマル検証： お客様と協力して、お客様の検証メソドロジへのフォーマル検証手法の導入を実現します。
• ローパワー検証： ローパワー・スタティック・チェック・フローとシミュレーション環境の構築を支援します。
• CoStartスタティック検証： RTLサインオフ・メソドロジとフローの構築を実現します。
• 検証用IP： お客様がプロトコルの基本を理解し、VIPをテストベンチと統合するための支援を行います。

検証コンサルティング・サービス

作業明細書（SOW）に基づいた検証コンサルティング・サービス

シノプシス・フォーマル検証向けコンサルティング・サービスでは、お客様固有のニーズに合わせて様々なオプションをご用意しています。フォーマル検証手法のトレーニングや、ターンキー・プロジェクトなどの多彩なオプションにより、お客様が独自にプロジェクトをカスタマイズおよび定義できます。シノプシスの検証コンサルティング・チームは以下の支援を行います。

• ブロック、サブシステム、SoCレベルの検証により、顧客ニーズへの早期対応を支援 。
• ベストプラクティスを活用して、最適化された手法の導入とフローの強化を支援 。
• 契約のカスタマイズ により、顧客固有のスコープとタスクに対応したソリューションの実現を支援。
• 各分野のエキスパート（プロトコル、フォーマル、ローパワー、スタティック、デバッグ）がお客様のチームを強化 。