Siemens EDA
osmosis Formal Verification TechDay 2026 Japan
開催日時: 2026年3月31日（火）13:00 - 19:00（受付: 12:30～）
会 場: ストリングスホテル東京インターコンチネンタル
※ 本イベントのオンライン配信はありません。
Siemens osmosis EDA Formal Verification TechDay 2026について
Software-defined, AI-powered, Silicon-enabled
半導体の複雑さが前例のない速度で増大する中、従来の検証手法はその限界に達しつつあります。競争力を維持するためには、エンジニアリングチームはよりスマートで、より迅速かつ厳格な検証戦略を採用する必要があります。Siemens EDA osmosis Formal Verification TechDayでは、フォーマル技術が、「限定的なユーザー層を対象としたアプリケーション」ではなく、信頼性の高いシリコン設計の基盤となる未来を深く掘り下げます。
今回の開催では、シーメンスEDAが、どのようにして現代のチップ設計時代におけるフォーマル検証を革新しているのか、「Questa One Stimulus Free Verification (SFV)」をはじめとする最先端ソリューションを通じて、各ディビジョンのスペシャリストが、生産性の未来・高信頼性コンピューティングの実現・設計の信頼性・アーキテクチャのギャップを解消といった、４つのトピックについて講演いたします。（英語セッションでは、日本語字幕の挿入を予定しています）
これらの「フォーマルファースト」なイノベーションが、いかにエンジニアリングチームを支援し、潜在的なバグの排除、網羅的なカバレッジの達成、いかにして、ASIC/SoC/FPGA設計を最速で成功への道へ導くか、ぜひご自身の目でお確かめください。半導体設計の最前線でご活躍される皆様のご参加を心よりお待ちしております。
Siemens EDA Formal Verification TechDay 2026 Japanが
お届けするのは..
情報交換と交流の場
Siemens EDA Formal Verification TechDayは、シーメンスのフォーマル検証ソリューションを最大限に活用する方法を中心としたテクニカルなコンテンツとともに、シーメンスが掲げる製品戦略やビジョンを解説する機能検証コミュニティのための特別なイベントです。ネットワーキング・アワーでは、エンジニア同士の知見の交換や交流を目指しています。
最新技術と検証メソドロジを織り交ぜたテクニカルセッション
・ Questa One Stimulus Free Verification (SFV)の
最新アップデート
・ AI駆動型のインテリジェントなエージェント・ワーク
フローによる生産性の向上
・コンピューティング精度を保証する包括的なプロセッサ
およびFPU検証ソリューション
・ 全スペクトル等価性チェック・ソリューションによる
設計の信頼性確保
・ CモデルとRTL間の完全な整合性保証
フォーマル検証に特化した豊富なコンテンツに直接アクセス
機能検証に携わるエンジニアやシーメンスのフォーマル検証のエキスパートが一堂に会し、テクノロジやビジネス面での戦略的なアプローチや課題の解決の情報共有を図るための半日集中イベントです。