より迅速な設計検証クロージャの実現

大規模なチップ設計プロジェクトでは、論理検証作業は設計作業よりも大きくなる可能性があり、 2022 ウィルソン研究グループ 所見。 悲しいことに、最初のシリコンの成功率は過去 31 年間で 24% からわずか 8% に低下し、欠陥を修正するための別のスピンが発生し、企業は市場投入までの時間を失い、確実に収益計画が損なわれました。 より良い検証は確かに最初のシリコンの成功を改善しますが、それは言うは易く行うは難しです。

ウィルソン・リサーチ・グループの研究からのいくつかの他の驚くべき数字:

• ASIC – 24% が初回成功、36% が予定どおりに終了
• FPGA – 16% がゼロ バグ エスケープを達成し、30% が予定どおりに終了

設計検証には、デバッグ、テストの作成とエンジンの実行、テストベンチの開発、テストの計画など、多くの難しい作業があります。 理想的には、プロジェクトのスケジュールを守りながら、ターンアラウンド タイムを最小限に抑え、最小限の人員とコンピューティング リソースで検証を完了し、安全上のコンプライアンスを満たし、検証を停止するのに十分なほど設計の品質が高くなった時期を把握したいと考えています。

私は最近、Siemens EDA の設計検証専門家である Darron May から最新情報を入手し、最近発表された、 Questa 検証 IQ. 彼らのアプローチは、AI/ML を活用したトレーサビリティ、コラボレーション、分析を使用して形成されたデータ駆動型の検証に関するものです。 従来の分析では、ロジックの動作を記述して診断するだけでは生産性と洞察が制限されていましたが、AI/ML を使用したビッグデータ主導の分析では、検証のための予測的および規範的なアクションが提供されます。 ソフトウェアとハ​​ードウェアのチームは、 CI （継続的インテグレーション）、 アジャイル メソッド ALM (アプリケーション ライフサイクル管理)、クラウドベースの設計、および AI/ML 技術の適用。 安全性が重要な業界では、ISO 26262 や DO-254 などの業界標準で定義されているように、要件、実装、および検証の間のトレーサビリティが必要です。

これは、Quest Verification IQ がさまざまな検証エンジンからのすべてのデータを ALM ツールとともにデータ駆動型フローに結び付ける方法の全体像です。

カバレッジ データはロジック シミュレーションから収集されます (この)、エミュレーションとプロトタイピング (ベロス)、AMS (交響曲）、 丁寧 （ワンスピン)、静的および FuSa。 ML 機能は、このすべてのデータを分析してパターンを予測し、穴を明らかにし、根本原因を指摘してから、カバレッジを改善するためのアクションを指示します。 表示されている ALM は ポラリオン ただし、お気に入りの検証エンジンを使用できるように、別の ALM を使用することもできます。

Questa Verification IQ は、ライフサイクル管理を使用してセーフティ クリティカル フローを構築し、すべての要件を計画および追跡できるように、プロセス ガイドを含むブラウザ ベースのフレームワークです。 回帰ナビゲーターを使用すると、チームはテストを作成して実行し、結果を監視し、完全な検証履歴を取得できます。 カバレッジ アナライザーを使用すると、コード、機能ブロック、およびテスト計画のカバレッジがどの程度完全かがわかります。 最後に、提示されたデータ分析は、プロジェクト ダッシュボードを使用してクロス分析を提供するメトリック プラットフォームを提供します。

Web ベースのフレームワークは、あらゆる規模のエレクトロニクス プロジェクトに対応し、ソフトウェアをインストールしたり、OS を最新の状態に保つことを心配したりする必要はありません。 また、パブリック、プライベート、またはハイブリッド クラウドのセットアップもサポートしています。 AI/ML を適用することで、検証クロージャ プロセスが高速化され、根本原因分析が改善点を特定するのに役立つため、デバッグ作業が迅速化されます。

私はダロン・メイにいくつかの明確な質問をしました.

Q: Questa Verification IQ を任意の EDA ベンダー ツールおよび ALM と組み合わせることができますか?

A: Questa Verification IQ は、標準ベースのアプローチによって ALM ツールとエンジンをサポートします。 Open Services for Lifecycle Collaboration (OSLC) を使用して ALM ツールと連携するため、Doors next、Siemens Polarion、Teamcenter などの標準をサポートするツールを使用できます。 どのエンジンも Questa Verification IQ で起動できます。ここでも、Unified Coverage Interoperability Standard (UCIS) によるカバレッジをサポートしています。

Q: このアプローチは Synopsys DesignDash と比べてどうですか?

A: Synopsys DesignDash は設計データの ML に重点を置いていますが、Questa Verification IQ は ML を含む分析を使用したデータ主導の検証に重点を置いており、検証の完了を加速し、ターンアラウンド タイムを短縮し、プロセス効率を最大化します。 Questa Verification IQ は、データへの集中アクセスを備えたブラウザベースのフレームワークで、チームベースの共同検証管理に必要なアプリケーションを提供します。

Q: このアプローチは Cadence Verisium と比べてどうですか?

A: Cadence Verisium は、ML 支援による検証のみに焦点を当てています。 これに対し、Siemens Questa Verification IQ は、分析、コラボレーション、トレーサビリティを備えた完全なデータ駆動型検証ソリューションを提供します。 検証管理は、コラボレーションを中心に構築されたアプリケーションを備えたブラウザベースのツールで提供されます。 Coverage Analyzer は、ML による分析ナビゲーションを使用した、業界初の共同カバレッジ クロージャ ツールです。 Question Verification IQ は、OSLC を使用して Siemens Polarion とインターフェースし、UI コンテキストを変更せずに Application Lifecycle Management で厳密なデジタル スレッド トレーサビリティを提供し、ALM の機能をハードウェア検証にもたらします。

まとめ

エンジニアが手作業で何時間も費やす必要がなく、よりスマートに作業することで複雑なタスクを簡単にする新しい EDA ツールに、私はいつも感銘を受けています。 Questa Verification IQ は、Arm や Nordic Semiconductor などのよく知られている企業から早期に支持されており、Siemens EDA は、検証チームが注目すべき魅力的なものを追加したようです。

関連ブログ

この投稿を共有する：

• SEO を活用したコンテンツと PR 配信。 今日増幅されます。
• Platoblockchain。 Web3メタバースインテリジェンス。 知識の増幅。 こちらからアクセスしてください。
• 情報源： https://semiwiki.com/eda/324031-achieving-faster-design-verification-closure/