Questa OneSpin Static & Formal Live 2024 Japan
開催日時: 2024年6月18日（火）13:00 - 20:00（受付: 12:30～）
会 場: ストリングスホテル東京インターコンチネンタル
※ 本イベントのオンライン配信はありません。
Questa OneSpin Static & Formal Live 2024 Japanについて
シーメンスEDAのフォーマル検証ソリューションで、よりスマートな未来をエンジニアリング
フォーマル検証の技術の進歩は、急速に拡大するASICやFPGAのセクターで目覚ましい発展を続けています。そこでシーメンスEDAは、半導体設計に欠かせない機能検証の技術分野の中から、特にフォーマル検証にフォーカスしたトピックスをお届けするテクニカル・イベントを開催いたします。
Questa OneSpin Static & Formal Live 2024 Japanでは、シーメンスのフォーマル検証製品ラインのプロダクト・マネージャーとグローバルで活躍するアプリケーション・エンジニアが、複雑さを増す大規模デザインの検証手法やQuesta FPUを活用したAIシステムの効率的な検証方法、そして包括的にフォーマル検証のカバレッジを上げるための手法などを取り上げ、シーメンスのQuesta OneSpinの有用性はもちろん、フォーマル検証の技術革新について戦略的な展望を解説します。
Questa OneSpin Static & Formal Live 2024 Japanが
お届けするのは..
情報交換と交流の場
Questa OneSpin Static & Formal Liveは、シーメンスのQuesta OneSpinフォーマル検証ソリューションを最大限に活用する方法を中心としたテクニカルなコンテンツとともに、シーメンスが掲げる製品戦略やビジョンを解説する機能検証コミュニティのための特別なイベントです。ネットワーキング・アワーでは、エンジニア同士の知見の交換や交流を目指しています。
最新技術と検証メソドロジを織り交ぜたテクニカルセッション
・ 鍵になる障害を乗り越える方法
・ Questa OneSpinフォーマル検証スイートの
最新アップデート
・ 検証テクノロジをSystemC/C++デザインに拡張
・ AIアプリケーションのFPUのピーク効率を
最適化する方法
・ 高度な等価検証メソッドをFPGAデザインの
検証に適用
・ チェックコネクトのフローを精査：インター
コネクト検証を合理化する詳細なガイド
・ 包括的なフォーマル検証: サインオフのための
良い習慣と戦略とは
フォーマル検証に特化した豊富なコンテンツに直接アクセス
機能検証に携わるエンジニアやシーメンスのQuesta OneSpinを中心としたフォーマル検証のエキスパートが一堂に会し、テクノロジやビジネス面での戦略的なアプローチや課題の解決の情報共有を図るための半日集中イベントです。