ウェビナーのご案内

ベリフィケーション / 仮想プロトタイピング編

: : : ベリフィケーション・ウェビナーの一覧は こちら をご覧ください : : :

◆ 車載向けアプリケーションからドライバまで、シームレスSW設計検証ソリューション

From System to Software: 効率的で堅牢な電気自動車向けデザイン　

急速に進化してる電気自動車向けシステム開発の現場には、多くの困難が待ち受けています。デザインの複雑化をもたらすハードウェアとソフトウェアの課題だけでなく、1回の充電で走行可能な距離やコストなども実用化の壁です。設計工程を通じて高い生産性をもたらし、最終的な結果を実現できる開発ツールや開発プロセスを採用することが重要な鍵を握っています。
本セッションでは、システムが満たさなければならない様々な基準や、エレクトロ・メカニカルそして組込みソフトウェアの分野もカバーした統合バーチャル・プロトタイピング・ソリューションが、いかに開発工程の前倒し（Shift Left）を実現し、テストの工数を削減するかについてご説明します。このShift Leftにより、ソフトウェア開発工程やテスト工程の早期段階で欠陥を特定することが可能となります。
また、開発早期段階で高速実行できる高抽象度でのシミュレーションから細粒度のシミュレーションまで、開発工程に応じて精度を高めていく検証手法のケーススタディについてもご紹介します。

以下のような点を議論します。

エレクトロ・メカニカルの高抽象度シミュレーションによる、システムレベルの走行距離検証
詳細なエレクトロメカニカル・プラント・シミュレーションとの統合環境で実行するAUTOSAR準拠のソフトウェア・シミュレーションによる開発期間短縮
高度に精緻化されたパワー・エレクトロニクスと共に実行する信頼性の高いフル・ソフトウェア・スタック・シミュレーションを基にしたフルシステム検証

:: ご視聴はこちら (ご登録が必要です) ::
https://readytalk.webcasts.com/starthere.jsp?ei=1398821&tp_key=e718a35e47&sti=web

講師：中野淳二 (日本シノプシスベリフィケーション・グループ)

バーチャルECUで制御ソフトウェア・アプリケーション開発をシフトレフト

本ウェビナーでは、シノプシスの新たなSILソリューションについてご説明いたします。継続的インテグレーション、PCでの事前キャリブレーション、カバレッジテストなど、ヨーロッパのOEM企業のベスト・プラクティスのご紹介も含め、ユースケースのフローをご紹介いたします。また、パワートレイン・バーチャルECUのデモもご覧いただけます。

:: ご視聴はこちら(ご登録が必要です) ::

https://readytalk.webcasts.com/starthere.jsp?ei=1346886&tp_key=6a3f7a3b0c&sti=web

講師：安田健太郎 / シルヴァン・バヨン・デ・ノアイエ (日本シノプシスベリフィケーション・グループ)

◆ VC Formal

VC Formal FCA を使用したカバレッジ収束フローのご紹介

フォーマル検証ツールVC Formalには、検証を効率的に行うことが可能な種々のアプリケーションがあります。VC Formalはフォーマル・エンジンを用いることでデッド・コードの自動抽出が可能です。これらのコードはシミュレーションに於いて未カバーのポイントとしてレポートされるため、レビューによる除外判定を行う必要があります。VC Formal – Formal Coverage Analyzer (FCA)ではVCSによるシミュレーションとの連携によりデッドコードの自動的な除外を行い、カバレッジ収束に至るまでの工数を削減します。本セミナーではFCAを用いたカバレッジ収束フローと、効率的に解決できる問題についてご紹介します。

:: ご視聴はこちら(ご登録が必要です) ::

https://readytalk.webcasts.com/starthere.jsp?ei=1334673&tp_key=36da2d72c6

講師：杉江誠 (日本シノプシスベリフィケーション・グループ)

VC Formal AEP を使用した自動RTLチェックの紹介

フォーマル検証ツールVC Formalには、検証を効率的に行うことが可能な種々のアプリケーションがあります。これらのアプリケーションの１つであるAutomatically Extracted Properties (AEP)をご紹介いたします。一般的なRTL Lintチェッカーでは、スタティック・チェック時の機能解析能力不足ゆえに擬似エラーや疑似違反になるような動作に対しても、VC Formal AEPはフォーマル・エンジンを用いることで、正確な検証を可能にします。また、Lintチェッカーと同様にユーザーによるSVA挿入は不要で、RTLとシンプルな実行スクリプトだけで実行可能です。

本ウェビナーでは、具体的にどういった問題が検証可能であり、どのようにAEPの適用が可能かについてご紹介いたします。

:: ご視聴はこちら ::

https://readytalk.webcasts.com/starthere.jsp?ei=1321318&tp_key=4d761abe6d 　

講師：上田淳 (日本シノプシスベリフィケーション・グループ)