Go Back

業界

テクノロジー

DSO.ai

もっと詳しく知る →

車載システム設計工程の前倒し

資料ダウンロード →

チップ設計/検証

シリコンがあらゆるモノをスマート化

設計用IP

高品質IPで皆様のシリコンでの成功を加速

ソフトウェア・セキュリティ/クオリティ

SDLC全体を通してビジネス・リスクを軽減する

2022 Gartner Magic Quadrant for Application Security Testing

レポートをダウンロード →

会社情報

リソース

ウェビナーのご案内

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

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

◆ Solvnetユーザー様限定ワークショップ

SpyGlass LINT/CDC, VCS, Verdi の Jump Start Workshop (日本語)　　NEW!

SpyGlass Lint

https://solvnetplus.synopsys.com/s/article/SpyGlass-lint-for-Japanese

SpyGlass CDC

https://solvnetplus.synopsys.com/s/article/SpyGlass-CDC-Jump-Start-for-Japanese

https://solvnetplus.synopsys.com/s/article/VCS-Basic-seminar-for-Japanese

Verdi

https://solvnetplus.synopsys.com/s/article/Verdi-Jump-Start-for-japanse

◆ SpyGlass

CDC (クロックドメイン・クロッシング) 検証の基礎

設計の大規模化、複雑化にともない、クロック間をまたぐ非同期回路の設計に起因する不具合のリスクが高まっています。

そうしたCDC(Clock Domain Crossing)の問題に対処する為には、専用の静的解析ツールによる検証が必要です。

本ウェビナーでは、非同期設計の静的解析で重要となるポイントの基礎を解説し、あわせてCDC解析ツールVC SpyGlass CDCをご紹介します。

:: ご視聴はこちら ::

https://readytalk.webcasts.com/starthere.jsp?ei=1327921&tp_key=85bf0c99ae&sti=web

講師：小宮健 (日本シノプシスベリフィケーション・グループ)

◆ 車載向けアプリケーションからドライバまで、シームレス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 　

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