ケイデンス、機械学習技術を活用した第三世代JasperGold Formal Verification Platformを発表

機械学習技術を活用したSmart Proof Technologyにより、証明の処理時間が平均2倍高速化、リグレッション検証では5倍の高速化を実現する第三世代のフォーマル検証技術

ケイデンス・デザイン・システムズ社（本社：米国カリフォルニア州サンノゼ市、以下、ケイデンス）は、5月7日（米国現地時間）、機械学習技術を活用し、フォーマル検証コア技術を改良したCadence® JasperGold® Formal Verification Platform第三世代製品を発表しました。

今回のプラットフォーム改良により、先進SoC設計において必要な検証規模、複雑度に対応し、検証スループットを改善します。新しいJasperGold Formal Verification Platformに関する詳細については、http://www.cadence.com/go/smartjasperをご参照ください。

Smart Proof Technology

今回発表されたJasperGoldプラットフォームは最新の証明アルゴリズムと証明エンジンの選択・設定機能の改良が施されています。この最新のプラットフォームにはJasperGoldの全てのアプリケーションの検証スループットを改良するSmart Proof Technologyが搭載されています。機械学習技術が、より高速な証明を可能にするソルバーを選択し、パラメータ設定を行います。また、オンプレミス環境、クラウド環境の活用も含め、リグレッションテストの実行の最適化においても機械学習技術が活用されています。Smart Proof Technologyによって証明の実行速度が最大4倍、リグレッション実行においては最大6倍高速化されます。

先端デザインの大規模化に向けた対応

最近のSoC設計はますます大規模化、複雑化しており、設計データのコンパイル時間および計算機環境の制限によってフォーマル解析の最大デザイン規模が律速されています。今回改善されたJasperGoldプラットフォームにおいては、1年前のバージョンと比較し、コンパイル時のメモリ消費量が平均50%削減されており、扱えるデザイン規模が2倍以上に増加しています。さらに、クラウド上で証明を実行し、計算機リソースを有効に活用する先進の並列コンパイル技術によって扱えるデザイン規模を効果的に増大することが可能になります。

フォーマルサインオフの強化

JasperGoldプラットフォームの新しいフォーマル技術によりIPのサインオフを行うことが可能になります。新たなフォーマルサインオフ技術においては、証明の精度が改善されており、深いレベルでのバク探索、新しいカバレージ解析結果の表示GUIによって有効なカバレージを抽出するための技術が提供されています。これらの機能により、サインオフ品質のフォーマルカバレッジ・メトリクスを立ち上げ、複数のエンジンによる検証フローでのチップレベルの検証クロージャを確保できます。

STMicroelectronics社コメント
Mirella Negro Marcigaglia氏（Digital Design Verification Manager）
「我々のテストケースに新しいJasperGoldプラットフォームを試行したところ、証明の実行時間が即座に平均2倍高速化し、リグレッション検証においては5倍の高速化が確認されました。また収束しないプロパティの数も50%以上削減されました。これらの改良によって我々の検証効率は劇的に改善されます。」

ケイデンス コメント
Ziyad Hanna（corporate vice president, Fabric and Formal Solutions, System & Verification Group）
「第一世代のJasperGoldプラットフォームによってフォーマル検証およびアプリケーションのマーケットを切り開き、第二世代ではケイデンスの技術を集約し、より多くのユーザに使っていただくことによりフォーマル検証の地位を確立してきました。今回発表した第三世代のJasperGoldプラットフォームにおいては、フォーマル検証のコア技術を大幅に進化させ、機械学習を適用することにより、お客様は実行パフォーマンスと検証規模の改善を実感していただけると思います。」

JasperGoldプラットフォームは、Cadence Verification Suiteの構成要素であり、vManager™ Metric-Driven Signoff Platformとともに検証カバレージ管理を包括的にサポートし、Xcelium™シミュレーションおよびPalladium®エミュレーションとともに活用することで検証作業の収束を加速します。JasperGoldプラットフォームはケイデンスのSystem Design Enablement戦略を強化します。これにより、システム企業および半導体企業は、他社を差別化できる完成度の高い最終製品を、さらに効率よく製造することが可能になります。Cadence Verification Suiteは、クラス最高レベルのコアエンジン、検証ファブリックテクノロジーおよびソリューションによって構成されており、多岐にわたるアプリケーションや製品分野に向けた設計の品質を向上し、検証スループットを最適化します。

■日本ケイデンス・デザイン・システムズ社
　http://www.cadence.co.jp