主な特長

VCSと統合されたコンパイル
シミュレーション、エミュレーション、プロトタイピングへとシームレスに環境移行
Verdiと統合されたデバッグ
あらゆるドメインおよび、あらゆる抽象度のバグをひとつの環境で検出・修正することでデバッグ効率が劇的に向上
ネイティブ統合
検証の効率、パフォーマンス、スループットが向上

早期ソフトウェア開発とシステム全体の検証

業界をリードするシミュレータVCS®、デバッグ・ツールVerdi®、RTLスタティック・サインオフ・ツールVC SpyGlass™、VC Formal™ Apps、およびシリコン実証済みの検証用IPでSoC全体を検証します。また、市場最速のエミュレーション・システムを活用して、ソフトウェア開発期間を短縮し、バーチャル・プロトタイピング・ツールVirtualizer™とFPGAプロトタイピング・ツールHAPS®でシステム全体の検証を行います。

VIP、トランザクタ、バーチャル&メモリー・モデル SoC設計の実行時間、デバッグ、カバレッジ収束を加速 HAPS 業界最高クラスの 性能を備えたFPGA プロトタイピング・システム ZeBu 業界最速の エミュレーション・システム VCS 業界最高クラスの シミュレーション性能 solution VC SpyGlass & VC Formal 次世代スタティック およびフォーマル検証 ソリューション Virtualizer RTL完成の6~18か月前から ソフトウェア開発に着手 Verdi 統合されたカバレッジ・データベースの可視化、解析、管理 プランニングとカバレッジ 検証プラットフォーム上でプランニングとカバレッジを統合 業界をリードする機械 学習ソリューション クラウド向けに最適化されたシミュレーション/ エミュレーション・ソリューション シノプシスの検証ツール・ファミリー カーソルを置くと詳細が表示されます

シノプシス検証ツール・ファミリーの新機能

最新ニュース、ブログ、Webセミナーなどの有益な情報をご確認ください。

シノプシスがお手伝いします

CoStart検証サービス

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

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

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

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

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

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

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

シノプシスの検証ファミリーをすべて見る

イノベーションを生み出すコミュニティ

SolvNetPlus

シノプシスのサポート・コミュニティはこちら!ログインが必要です。

SNUG

境界を越えて、グローバル・コミュニティとつながりましょう。

エキスパートへのご相談はこちら