スタティックおよびフォーマル検証

スタティックおよびフォーマル検証ソフトウェアの連携

高度のスタティックおよびフォーマル検証

設計サイクルの早期段階でバグを検出し、根本原因解析を高速化する次世代テクノロジ。

次世代型スタティックおよびフォーマル検証ソリューション

SynopsysのVC Formal™、VC LP™、VC SpyGlass™、SpyGlass®ツールを組み合わせることにより、設計者や検証エンジニアは、複雑な設定やテストベンチ、スティミュラスを使用せずRTLデザインの設計フローの非常に早い段階で迅速に解析と確認ができます。これにより、シミュレーション前にバグの多くを検出、修正できるため、高速で効果的なシミュレーションが可能になり、コスト、時間、工数を総合的に削減できます。SynopsysのSpyGlassおよびVC Formal検証ソリューションは、次世代データベースとエンジンを基盤として構築されており、非常に大規模で複雑な設計の検証に必要な容量とパフォーマンスを提供できます。また、VC FormalおよびVC LPでは、統合されたデザイン読み込み、Design CompilerのTCLサポートのように、一般的なルックアンドフィールが使用されているため、すぐ簡単に導入でき、優れた使いやすさとデバッグ性を提供します。Synopsysはこれらのテクノロジの導入を迅速化するための包括的なコンサルティングサービスやこれらのテクノロジを顧客の製品設計に役立てるための専門知識を提供します。