機能検証 

イノベーションを加速する高性能RTL検証 

今日RTL設計の規模と複雑度が加速するにつれ、検証の問題も深刻化しています。これらの問題に対応し、かつ設計の質を最高に保つために、高度な技術や手法が必要となっています。シノプシスの機能検証ツール・セットでは、バグを迅速にかつ容易に発見することを可能にし、最も複雑な設計の質を飛躍的に高め、シリコンの初回成功を実現することのできる業界最高レベルの様々な技術が緊密に統合されています。これらのツール群には、SoC 設計検証の最先端の現場で使われる VCS、不定値に関わるシミュレーションとデバッグのサポートVCS Xprop、設計検証のデファクト・スタンダードとなっているデバッグ・プラットフォーム Verdi、パフォーマンスとキャパシティで他を凌駕する ZeBU、次世代検証用IP の VC Verification IP、ネイティブなローパワー・シミュレータとルール・チェッカ VC NLPとVC LP、包括的フォーマル解析とカバレッジ収束を行うVC Formal Coverage Analyzer、検証ツール群全体の品質を測定、デバッグするCertitude、次世代のプロパティチェックであり、SoCのコネクティビティ・チェックとシーケンシャル等価検証を行うVC Formal 、トランザクションレベル精度のC/C++/SystemC対RTLの機能等価チェックであるHECTORが含まれます。

 

  • VCS
  • 機能検証ソリューションmore

  • VCS Xprop
  • 不定値の伝播を予見し、不定値に関わるシミュレーションとデバッグをサポートmore


 
電圧の波形特性やあらゆるパワーステート、状態遷移、シークエンスをカバーするインテリジェントな電圧考慮シミュレーション
PDF データシートのダウンロード

  • 検証IP
  • 広範囲を網羅する検証用IPポートフォリオmore

 
テストベンチ開発を簡素化し、より高いカバレッジと飛躍的なシミュレーション時間短縮を実現する検証IP群


 
最先端のスタティック解析がRTL記述における構造的問題、コーディングと一貫性の問題をピンポイント的に特定

  • VC LP
  • 最先端ローパワー・スタティック・ルールチェック・ソリューションmore

  • VC Formal
  • 次世代フォーマル検証ソリューションmore



 
業界で最速のエミュレーションシステム


  • HECTOR
  • 次世代のブロックレベル・フォーマル・チェック・ソリューションmore

 
個別に開発されたモデル間の違いを高速に照合。またテストベンチ、アサーション、カバレッジを使わずに、一連の設計の微調整を網羅的に検証


 
デザインとテストベンチ情報を活用してアサーションと機能カバレッジプロパティを自動生成する、フルチップのアサーション合成ツール


  • 高性能、大容量のシミュレーション、高度なテストベンチ自動化、アサーション検証、カバレッジ解析、SystemVerilogサポートを一つの製品で網羅
  • より多くのバグを少ない時間で発見する最も効果的なソリューション
  • 業界標準に従っているため、検証にかける投資のリスクが少ない


NewsArticlesBlogsSuccess StoriesWhite PapersWebinarsVideosTraining Courses