本講演では3部に分けてUVMを解説します。
①UVMとは何か、その目的、そしてTLM等の基礎概念を解説します。その後、UVMの構成を概説し、検証環境構築の基礎知識を養います。
②UVMを使用して検証環境を構築する際に必要となる実装技術とルールを解説します。
③検証環境開発時に陥りやすい誤りを未然に防ぐ方法と検証環境の保守を容易にさせる工夫を紹介します。
※本セッションはオンライン配信は行いません
更別村では、AI・IoT・5Gを活用したスマート農業と、医療・交通・行政のDXが融合。
農業従事者の働き方と住民の暮らし方が同時に進化する地域モデルを紹介し、DXがもたらす生活の質の向上と農業の未来を語ります。
※本セッションはEventHubの”講演会場ライブ配信”チャンネルにてご視聴頂けます。
UVMを実際に使用している技術者をお招きし、日々の苦労や共感できる「あるある」話、思わず笑ってしまうエピソードなど、 現場のリアルな本音を語り合うパネル・ディスカッションです。
UVMの魅力や工夫、初心者がつまずきやすいポイントなど、現場ならではの視点も取り上げて議論します。
これからUVMに挑戦したい方も、すでに活用している方も、楽しみながらUVMの現実を知れる内容となる予定です。
※本セッションはオンライン配信は行いません
パネリスト：
長谷川 裕恭 / ハセガワ ヒロヤス（株式会社エッチ・ディー・ラボ）
土屋 丈彦 / ツチヤ タケヒコ（キオクシア株式会社）
保田 孝幸 / ヤスダ タカユキ（ＣＭエンジニアリング株式会社）
モデレータ：
佐塚 明文 / サツカ アキフミ（DSF実行委員：株式会社リコー）
現地会場（Room A）中継︓Room B,C,
Design Solution Forumは、「創ろう、広げよう、設計者ネットワーク」を基本コンセプトに、業種･分野の垣根を超えたコミュニティとして、時代にあわせ進化してまいります。次の10年を見据えた様々な取り組みにより、設計者がより広く深く交流できる場を提供していきます。
SDV（Software Defined Vehicle）が描く未来は、自動運転技術の進化とともに大きく変化します。
本講演では、NOAやLV3自動運転が支えるSDVの価値を示しつつ、AI推論基盤、省電力設計、冗長設計といった技術課題と、それを支えるAI半導体技術の重要性を紹介します。
コロナ禍の半導体不足の経験から、各国で半導体の自前化の動きが強まっています。
日立産業制御ソリューションズは、市場に対し、「半導体の設計・製造って簡単なんだ！」と捉えられることで自前化を促進し、市場を盛り上げたいと考えています。そこで、OpenなIP、設計環境を活用し、半導体を作る取り組みを行っています。
本講演では、その取り組み内容についてご紹介します。
MN-Coreシリーズのチップ開発はSW開発のプラクティスを積極的に取り入れています。
コンパイラのソースコードとRTLコードは1つのGitHubリポジトリで管理され、RTLの変更もPullRequestとしてレビューされます。CIではSimulationやLintが走り、パスしないとマージすることができません。必要に応じてSWエンジニア、HWエンジニアが互いにコードをレビューすることで仕様の誤解をなくし、小さなチームで効率的に開発を進めています。
このようなPFNの開発スタイルをご紹介します。
NDA Free PDKを活用した低コスト・柔軟な半導体設計支援の取り組みを紹介。
産官学金融の連携により、スタートアップや教育機関などロングテール層の参入を促進する共創型エコシステムの構築を目指します。
従来の検証方法では、SoCハードウエア開発における多くのセキュリティの欠陥が見逃されています。
ダイナミックなアセットベースのセキュリティー検証とCWEを組み合わせることで、セキュリティーカバレッジを向上させ、他の方法では見逃された欠陥を含むSoCのセキュリティ上の脆弱性を明らかにするCycuityの最先端のセキュリティ検証ソリューション”Radix”を御紹介します。
LLM（Large Language Model：大規模言語モデル）等の生成AIが、ソフトウェア開発に急速に取り入れられている。
FPGA/ASIC開発分野においても、RTL設計等に生成AIを活用することが試みられ、設計のあり様が大きな転換期を迎えようとしている。
本講演では、このような試みの事例（研究報告）、ならびに、ChatGPTを用いて小規模モジュールのRTL設計を行った結果を紹介し、FPGA/ASIC開発の未来を考察する。
シーメンスEDAはポートフォリオ全体の戦略的優先事項として、AIに取り組んでおります。生成型AI、予測型AI、分析型AIといった最先端のAI/MLテクノロジーを活用することで、検証ワークフローを効率化し、生産性を向上させます。
本セッションでは、機能検証における将来のイノベーションへの道を切り開く、シーメンス EDA のスマート・ベリフィケーションをご紹介いたします。
リコーでは2001年から独自の検証フレームワークを開発してきましたが、継承や保守の課題を解決するため、UVMフレームワークへ移行しました。継承に依存せず短時間で構築できる環境を目指し、自動生成による効率化も進めています。
本講演では、その移行過程と自動化の工夫について紹介します。
ハードウェア設計・検証の工数削減に向けて、高位合成の活用が進んでいます。その高位合成の生産性を最大限に引き出す鍵となるのが「高位検証」です。
Siemens EDAでは、高位合成と高位検証を含む包括的なソリューションを提供しています。
本講演では、高位合成・高位検証を導入したものの、思ったほど生産性が向上していないと感じる“違和感”について、導入現場でよく見られる【検証あるある】という視点からご紹介いたします。
※ C/C++言語での事例を交えてご紹介しますので、ソフトウェア・エンジニアの方にもご理解いただけます。
Rapidusが開発しているML/AIを活用した短TAT設計環境Raads(Rapidus AI-Assisted Design Solution)について開発状況とスケジュールについて紹介します。
開発中のRaadsのいくつかの項目についてデモも実施する予定です。
ChipAgents brings agentic AI to chip design and verification, automating spec-to-RTL, UVM testbenches, and debug.
Learn how AI agents boost productivity, accuracy, and time-to-market for engineers.
技術躍進が急速に進むAIをあらゆる産業にタイムリーに適用するためのソリューションをご提案いたします。
GitHub CopilotがもたらすAI支援開発は、単なる効率化を超えた変革を生み出しています。
エンジニアの創造性とAIの処理能力が融合することで、従来の開発プロセスは根本から変わりつつあります。
この新しい協働関係が、個人のスキルアップから組織の競争力向上まで、どのような可能性を秘めているのかを探ります。
過去の資産を流用しようとしたときに、同じ名称の変数等が使われていて苦労したことはありませんか？UVMクラスの関係や、FSMをコードから読み取るより図示して欲しいと思ったことはありませんか？
AMIQ EDA社のDVTは、直感的な操作によってこれらの問題を解決し、開発効率を大幅に向上可能なエディタです。
また、過去に作られたデザインは有るけど、再利用したくても仕様書がなく、開発した方もいないといった問題はありませんか。そんな問題を解決するためのソリューションが、Specadorです。Specadorはボタンをクリックするだけで、ソースコードから美しい仕様書を作成します。
当日はデモ動画を交えてDVTおよびSpecadorを紹介いたします。
ローカル環境でのAIモデルの実行は、リアルタイム性が要求されデータ機密性が高いエッジAIアプリケーションに不可欠ですが、現在の開発および展開手法は互換性とサポートの課題に直面しています。
当社の柔軟なSDKは、TFLite, PyTorch and ONNXモデルを即座にサポートでき、CPU、GPU、NPUをターゲットにしています。
モデルを事前にコンパイルし、新しいレイヤや一般的でないレイヤもサポート可能です。この広範なカバレッジにより、多様なハードウェアでモデルを確実に実行できます。
シンプルに設計されたSDKはPythonと簡単に統合できるため、組み込みの専門知識がない開発者でも導入が可能です。
内蔵コンパイラは、エッジAIにとって重要な性能要素であるメモリ使用量とレイテンシを最適化し、エッジでの効率的で実世界に即した推論を可能にします。
IOWNは、光を中心とした革新的技術によって通信とコンピューティングを融合した、新しいネットワーク・情報処理基盤です。
本講演では、ユースケースや実証実験を通じて、IOWNが様々な産業の設計・実装をどう変えるかを紹介し、未来のアーキテクチャの可能性を探ります。
ソフト開発のシフトレフトを目的としてモデルベース開発 (MBD) の導入が進んでいます。
本講演では、高信頼システム向けソフト開発で支持を集めるAnsys SCADEの基盤技術「形式言語」について、役割と重要性を解説します。
モデルが単に実行できるだけにとどまらず、仕様の正しさや不具合がないことの証明に利用できることは、ライフサイクル全体を大幅に効率化します。 単なる動く仕様書から脱却できる形式言語をぜひ一緒に学びませんか?
豪雪地・津南の伝統的な酒造りを基盤に、生成AIを活用して生産管理や発酵プロセス、品質評価、販売戦略を統合的に最適化することを目指した「スマート醸造」。
職人の経験と現場で取得したデータを組み合わせ、醸造条件の設計や市場ニーズ予測までを実現します。
生成AIが、地域資源を活かした持続可能な日本酒づくりと新たな価値創造の鍵となる事例を紹介します。
半導体産業のエコシステム構築の促進を目的とする一般社団法人「RISE-A」が7月16日にローンチされた。
活動の拠点となる「RISE GATE NIHONBASHI」も10月にオープンし、今後本格的な活動が増えていく中、RISE-Aのねらいとこれからを設立時のキーマンが語る。
マルチスレッドプログラミングをはじめとする並行処理のソフトウェアを、正しく設計・実装することの難しさを実感されている開発者は少なくありません。 その難しさには、大きく二つの要因があると考えられます。 一つは、言語機能やライブラリのサポートが十分でないことによる困難さ、もう一つは、スレッド間のインタリーブ（処理の並行的な交錯）によって生じる「状態爆発」の問題です。
本講演では、まずこうした並行プログラミング固有の難しさに焦点を当て、具体的な課題とその背景を解説します。 そのうえで、プログラミング言語Rustにおける並行プログラミングの実践について紹介します。
Rustは、コンパイル時の検査によって、C/C++などでよく見られる多くの並行バグを未然に防ぐことが可能な設計になっています。 これにより、従来よりも安全かつ堅牢な並行処理の実装が実現できます。 ただし、Rustといえども万能ではありません。 並行処理そのものが本質的に持つ複雑さに起因するバグについては、設計段階や実装時に引き続き注意が必要です。 本講演では、Rustが提供する利点とその限界について解説します。
複雑化するSoC設計が等価性検証に与える影響に対応するため、人工知能（AI）および機械学習（ML）機能を備えた論理等価性検証、論理ECO、低消費電力検証のサインオフ製品の新しいスイートであるConformal AI Studioについて紹介します。
調整中
組織が多様性を活かして強くなるためには、個が自分らしさを発揮できること、職場への帰属感を持てることが欠かせません。
その両輪を支えるのは、“知らない”を認めて学び続ける姿勢です。二人の子育てと、メンバーとしての現場経験とマネジメント経験の両方から、組織が動くためのヒントを探ります。
トップ・マネジメントの主導とメンバーによるボトムアップの活動が連動する中で見えてきた、小さな実践を交えてご紹介します。
超低消費電力が要求されるAlways-onデバイスにおけるTinyMLアプリケーションや、LLMに代表される生成AIアプリケーションなど、エッジデバイスにおけるAI推論の活用が急速に広がっています。
この講演では、数GOPSから数千TOPSまで対応可能なCevaのスケーラブルなNPU製品群、および多種多様なネットワークモデルを実行するためのAIツールを含むソフトウェアの統合開発環境を紹介します。
本講演では、自動車向けSoC「R-Car」シリーズ向けに用意した、EdgeAI開発環境についてご紹介します。
R-Carは高性能NPUを搭載し、ADAS用の画像認識や推論処理に対応しています。
このAIを活用した機能を開発するために、コマンドラインやCI/CDなど多様な開発環境が整備されています。
AIモデルの変換や評価を可能とするツール（REACTION）を中心に紹介します。また、実際のデバイスでの動作を容易に確認できる評価ボードについてもご紹介します。
生成AIとビジュアルトランスフォーマーがエッジ AI モデルの急速な進歩を推進し続けるにつれて、従来の異種混載NPU はパフォーマンスの限界に達しています。
QuadricのChimeraは、完全にプログラム可能で柔軟性の高いシングルプロセッサであり、ハードウェアを変更することなく、多様で最先端のAIモデルを効率的に実行できます。
本講演では、業界をリードするChimera Graph Compilerに焦点を当て、LLMおよびADASアプリケーションの高度なモデル処理を含む事例を用い、ChimeraSDKの概要を説明します。
Verylはオープンソースソフトウェアとして開発中の新しいハードウェア記述言語です。
合成可能RTLに特化した構文、SystemVerilogとの高い相互運用性、生産性を高めるツールの標準装備、といった特徴を備えており、既存のSystemVerilogプロジェクトに導入して効率よく設計を進められるような言語を目指しています。
本講演ではVerylの特徴や具体的な導入事例をご紹介します。
AIモデルが複雑化するにつれ、高性能かつ電力効率に優れたメモリアーキテクチャの必要性がますます高まっています。
技術革新に取り組むウィンボンドは、こうした課題に対応するため、エッジコンピューティングに特化したCUBEメモリを開発しました。
本セッションでは、エッジコンピューティングの計算性能を支えるCUBEメモリソリューションの紹介および、ウィンボンドの取り組みについて説明します。
国を挙げた支援で日本の半導体産業が再び盛り上がる一方、半導体技術者の不足は深刻です。
背景には、若い世代への認知の低さによる半導体分野の人気低迷の影響や、さらに、高度な専門知識が求められるため戦力となる人材の育成が追いついていないことが挙げられます。
本講演では、当社が抱える課題や現場のリアルを交えながら、半導体産業の未来を支える人材づくりについて、皆さんと一緒に考える時間にできればと思います。
近年ハードウェアの進化により組込み機器でもハイパーバイザー構成が一般的になってきています。
ハイパーバイザーで課題になるのがゲストからのハードウェアアクセスで、その解決方法の一つとして注目されているのがVirtual I/O Device(VIRTIO)です。
VIRTIOは仮想マシン向けのI/Oフレームワークで、ホストからはソフトウェア、ゲストからは物理デバイスのように見えます。 本講演では、仮想化におけるI/Oの課題とVIRTIOについて解説します。
AI時代の到来により、複雑なマルチダイ構成とサブシステム統合が求められる次世代のSoC開発が急速に進展しています。
シノプシスはArm社の戦略的パートナーとして、Arm CSSを活用したアーキテクチャ検討と仮想SW開発環境を提供し、柔軟かつ効率的な設計を実現します。
本セッションでは、シノプシスが提供するArm-CSSベースの仮想環境をご紹介します。
DSF2023でNTTデータMSEが発表した若手育成施策「モビシス大学」の活動を、NTTデータグループおよびパートナー企業へと拡張し、「共創モビシス大学」として新たな挑戦を始めています。
近年、開発現場でのLinux活用が進む中、社員の学習意欲も高まっております。そこで2024年度は教材として『Linuxのしくみ』を活用し、若手同士が主体的に学び合う場を創出しました。 本セッションでは、4社合同で実施したLinux研修の1年間の成果と、共創による学びの可能性についてご紹介します。
日本でも国を挙げて半導体設計人材育成が本格化し、各地の教育機関でも同様の取り組みが盛り上がっています。
シノプシスは技術研究組合 最先端半導体技術センター (LSTC) の「最先端デジタルSoC設計人材育成プログラム」に “Purple Certification” を提供し、産業界と共に支援しています。
半導体設計人材育成の先端を走る方々と共に、業界全体で盛り上げていくための取り組みをご提案します。
近年、自動車業界を中心にISO 26262 を含む機能安全対応が益々重要になっています。
本講演では、そもそもなぜ機能安全が重要視されるようになったのか、その背景や業界動向を振り返りつつ、設計検証プロセスに効率的に機能安全対応を“アドオン”するための実践的アプローチを紹介します。
「いまさら」と感じている方にこそ、効率的かつ戦略的な機能安全対応の道筋を提供します。
UVMについては「難しい」「本当に必要なのか」といった声をよく耳にします。しかし、習得して活用することで得られるメリットは非常に多くあります。
エッチ・ディー・ラボでは、多数の社員がUVMを用いて検証環境を構築しており、その過程で豊富なノウハウを蓄積しております。
本講演では、UVM導入のメリットや導入初期につまずきやすいポイント、さらに実践的なノウハウについてご紹介いたします。
ナノブリッジ技術を用いたFPGAは、低消費電力・省面積・高耐環境性（耐温度・耐放射線）を兼ね備えた次世代の不揮発性FPGAです。
他の研究・開発組織が検討中の同等技術と比較して、実用的な規模でアプリを動作させています。
本講演では、技術概要、特徴、想定される応用例について紹介し、各産業分野での活用の可能性を提案します。
UVMは、ASICや大規模FPGA向けの高度な検証フローを実行可能にする検証手法の１つです。しかし、ゼロから記述することは複雑で手間のかかる作業になります。
Riviera-PROのUVMジェネレータはテスト対象デザインに対して、SystemVerilogテストベンチテンプレートおよび実行用スクリプトを自動生成します。生成されたコードを出発点として開発を進めることで、UVM検証テストベンチを容易に作成できます。
本セミナーでは、UVMジェネレータの使用方法と概要を紹介します。
近年、EDAツールの分野でもオープンソース化が進み、フォーマル検証にも無償で利用できる環境が登場しています。
本講演ではSymbiYosysを使った論理回路レベルのフォーマル検証に挑戦し、その有効性や限界を実例と共に紹介します。
さらにCPU設計への応用としてriscv-formalとRVFIを用いたISA準拠性検証の事例も取り上げ、オープンソースでどこまで可能かを探ります。
半導体開発においてリードタイムの短縮と品質の確保を両立するには、開発全体を可視化し、ボトルネックを早期に把握、対処することが鍵となります。
Altair FlowTracerは設計フローの進捗や停滞をリアルタイムに見える化し、属人化を防止。プロジェクト全体の効率化、トラブルの早期発見、チームの負荷分散にも貢献します。
本講演では、組織全体の生産性向上を支援する具体的な活用方法をご紹介します。
生成AI、Automotive、スマートメディア等の進歩は、メモリ容量とメモリ帯域幅の需要が同時に訴求され、その要求を満たすためにLPDDRメモリが、様々な製品分野で利用されてきております。
今回、LPDDR5x/LPDDR6等の最先端JEDECメモリの進化トレンドをご紹介するとともに、コストエフェクティブでお客様に寄り添うメモリサブシステムを実現する弊社LPDDRメモリソリューションをご紹介いたします。
量子コンピュータを産業に活かすには、誤り耐性量子計算（FTQC）の実現が不可欠です。
本講演では、その実現に向けて重要となるFTQCアーキテクチャやコンパイラなどの基盤技術、さらには量子コンピュータの性能を最大限に引き出すアルゴリズム開発について、最新の状況とQunaSysの取り組みを紹介します。
現代の高度な電子システム設計においては、経営層から顧客、品質保証部門、製造/開発チームに至るさまざまなステークホルダーが、それぞれの要件を抱えています。
このように多面的な利害関係を調整しながら、SoC/FPGA/MCUなどのデバイスへとアイデアを具現化するプロセスには、モデルベース システムズ エンジニアリング（MBSE）とモデルベース デザインの融合が、大きな恩恵をもたらします。
本セミナでは、ステークホルダー全体を見据えたシステムのライフサイクル設計を、HW/SW協調設計という実務的な切り口で具体的な例を使って解説します。
システムズ エンジニアリング的なアプローチで、要件から機能ブロックの作成、各ブロックの演算負荷を解析し、ステークホルダーごとの設計ゴールに基づいてHWとSWへとマッピングして行きます。
GMOペパボでは、社内のあらゆる活動を “AI前提” という考えのもと行っています。
特にAI前提のソフトウェア開発において、Vibe Codingは重要なトピックの一つと捉えています。
本発表では、Vibe Codingの基本をおさらいしたのちに、新卒向けのVibe Coding研修、中途入社向けのVibe Codingオンボーディング、エンジニア以外のVibe Coding実践例、エンジニアの普段の業務での活用事例といった社内での活動の事例を紹介し、最後にGMOペパボでのVibeCodingやAI前提での考え方をご紹介します。
Chiplets enable modular integration but face supply chain security risks. eMemory & PUFsecurity secure chiplets with NeoPUF and PUF-based solutions for lifecycle, end-to-end, quantum-safe protection.
本講演ではモデルベースデザインの概要からAIを含むシステムのモデル化と組み込み機器への実装、Copilotを活用した開発効率化まで、AIネイティブ時代に求められる開発フローをご紹介します。
RTOS(SOLID) + Linuxの組み合わせにより、開発しやすく、高機能・高性能なDual-OS システムをご提案します。 2025年8月にリリースしたSOLID Ver.5は、IDEに VSCode互換のTheiaを採用し、機能拡張によるカスタマイズ
10月からイーソルグループの一員となる当社の様々な取り組みを
製造業でのAI活用について、実際のプロジェクト事例を中心に現在の動向や開発における課題を紹介します。
高い品質を維持するための設計レビューでのAI活用の取り組みを軸に、社内情報資産をどのように活用していけるかを最新のAI技術手法も交えて解説します。
また、外観検査やリスク評価など効果が出やすい他領域の開発事例も含め、現場のPM目線での知見をお伝えします。
暗号機能に対するサイドチャネル攻撃やリバースエンジニアリングなど、FPGAを使用したセキュリティシステム構築時の脅威を解説します。
また、FPGAを使用した高いセキュリティ性能を持つデータセンター向けシステムを実現する取り組みとデータセンターにおけるFPGAの使用を活性化するための活動を紹介します。
