Accellera Systems Initiative主催
「DVCon Japan 2025」 カンファレンスのご案内
会期：2025年08月20日（水）
2025年 8月20日(水) TKPガーデンシティPREMIUM品川高輪口において「DVCon Japan 2025」 が開催されます。このカンファレンスにおいて、当社社員がフォーマル検証についての講演を行います。
この機会にぜひご来場賜りたくご案内申し上げます。
出展概要
| 名称 | DVCon Japan 2025 |
|---|---|
| 開催日 | 2025年8月20日(水) |
| 開催時間 | 9:00～18:00(予定) |
| 会場 | TKPガーデンシティPREMIUM品川高輪口 |
| 主催 | Accellera Systems Initiative |
| お申し込み |
事前登録制 DVCon Japan 2025に参加するには、有料の事前登録（レジストレーション）が必要になります。ただし展示会のみの参加は無料です。 |
カンファレンス
| 8月20日(水) 14:30～15:00 |
Technical Track 1 登壇者：東芝情報システム株式会社 LSIソリューション事業部 大規模なLSI開発において、フォーマル検証は無くてはならない存在になっていますが、大きな計算リソースを必要とするその特徴から、活用にはさまざまなノウハウがあります。本講演では、SoC全体から複合的に発生する「デッドロック」を検出する手法についてご紹介します。 |
|---|
DVConについて
Design & Verification Conference & Exhibition（DVCon）は、電子システムおよび集積回路の設計と検証のための言語、ツール、メソドロジ、標準の適用に関するカンファレンスで、Accellera Systems Initiativeがスポンサーとなり、世界各地で開催されているインターナショナル・カンファレンスです。