ソフトウェア指向なSoC検証への変革

（株）ソシオネクスト
山崎 亮介 氏

AHCIコアを使ったFPGAの擬似ハードディスク化のすすめ

わさらぼ/イーツリーズ・ジャパン
三好 健文 氏

仮想ECUを用いたテスト環境の最前線
～自動車の車載電子制御システムの安全性検証への最新活用事例～

日立オートモティブシステムズ（株）
宮崎 義弘 氏

エンジニアのためのいまさら聞けないディープラーニング入門

（株）ディジタルメディアプロフェッショナル
大渕 栄作 氏

高位合成をディスカッションする会－２(前半)
9：40-11：40
満席となりましたため受付は終了いたしました。

【モデレータ】
富士ゼロックス（株）
宮下 晴信 氏

※前半と後半両方参加できる方のみご聴講可能です

【ファシリエイター募集について】
参加申し込み(抽選で16名、4名x4チーム)と同時に、当日までの準備および 当日運営を行うファシリエータを2名を募集します。 ファシリエータもディスカッションにご参加いただけますので、 積極的な方のご応募をお待ちしています。 なお、ファシリエータが決まらない場合は、残念ながら本会は中止とします。

DSF検証研究会

検証ってナンだ！？(前半)
10：35-11：45
満席となりましたため受付は終了いたしました。

【モデレータ】
コニカミノルタ（株）
河邊 恭 氏

※前半と後半両方参加できる方のみご聴講可能です

電力最適化のための仮想プロトタイプによるシステムアーキテクチャとSW設計

日本シノプシス(合)
中野 淳二 氏

FPGA検証のコツお教えします
～FPGA開発における、効果的なシミュレーション方法とは

ＣＭエンジニアリング（株）
野村 朋聡 氏

ヘテロジニアスなマルチコア・アーキテクチャ向けの、革新的な並列化ソフトウェア自動生成ツールの紹介
"世界で唯一のマルチコア向け並列ソフトウェア統合開発環境"

Silexica
(株)ネクストリーム
守田 直也 氏

コンピュータビジョンやニューラルネットワークアプリケーションに最適なテンシリカVision P6 DSP

日本ケイデンス・デザイン・システムズ社
松岡 祐介 氏

MCUの検証品質を高めるには Part 2
- ソフトウェアドリブンによるトップダウン機能検証事例 -

ルネサスシステムデザイン（株）
植西 俊哉 氏

ソフトウェア技術者による、HLSを用いたFPGA開発について

（株）システム計画研究所
満田 賢一郎 氏

自動運転システムのためのモデリング ～ プログラムとルールベース、ディープラーニングの違いを紹介 ～

キャッツ（株）
渡辺 政彦 氏

Googleがめざす、誰もが使える機械学習

Google
佐藤 一憲 氏

ソースコードの管理について語ろう
～git、jenkinsなどOSSツールや、クラウドの利用など～（前半）
11：55-13：15
満席となりましたため受付は終了いたしました。

【モデレータ】
DSForum実行委員 ソフトウェア企画部

※前半と後半両方参加できる方のみご聴講可能です

Linuxを語ろう
～Linuxのメリット・デメリット、また困ったことなど～(前半)
11：55-13：15
満席となりましたため受付は終了いたしました。

【モデレータ】
DSForum実行委員 ソフトウェア企画部

※前半と後半両方参加できる方のみご聴講可能です

ハードウェアエンジニアvsソフトウェアエンジニア討論会
～明日から使える問題解決のヒントを探る～
11：55-13：05

【モデレータ】
三菱電機（株）
矢野 哲夫 氏

ARM ModelsとARM仮想化環境ソリューション

アーム（株）
大石 敏久 氏

組込みFPGA上のHW/SWを全てCベースで実装 ～SDSoCのご紹介～

ザイリンクス（株）
黒田 成一 氏

ARM® mbed™ OS搭載マイコン向けIoT環境構築事例

日本システムウエア（株）
三枝 英一 氏

最新のディープラーニング技術動向と“EV6x”のご紹介

日本シノプシス(合)
井手野 雅明 氏

SmartDVが提供するエミュレータおよびFPGA上で動作可能な超高速検証IPソリューションの紹介

SmartDV Technologies India Private Limited
(株)ネクストリーム
守田 直也 氏

IoT時代の新常識！Juno ARM®とHAPS-80を組み合わせはARMv8ベースのSoC開発環境の決定版♪

日本シノプシス(合)
遠山 和徳 氏

アーム(株)
中島 理志 氏

IoT時代のトータルな保護システムOmniShield

イマジネーションテクノロジーズ（株）
阿部 道夫 氏

CEVAの組み込みDNNソリューション

日本CEVA（株）
堀江 誠一 氏

フォーマル検証へ、全員ダッシュ！！

京セラドキュメントソリューションズ(株)
白石 貴紀 氏

Pythonによるカスタム可能な高位設計技術

北海道大学
高前田 伸也 氏

マルチコアにおけるソフトウェア開発環境の立ち上げと今後の展開

（株）リコー
木村 貞弘 氏

画像処理ライブラリOpenCVで出来ること・出来ないこと

名古屋工業大学
福嶋 慶繁 氏

ソースコードの管理について語ろう
～git、jenkinsなどOSSツールや、クラウドの利用など～（後半）
13:40-15:00
満席となりましたため受付は終了いたしました。

【モデレータ】
DSForum実行委員 ソフトウェア企画部

※前半と後半両方参加できる方のみご聴講可能です

Linuxを語ろう
～Linuxのメリット・デメリット、また困ったことなど～(後半)
13:40-15:00
満席となりましたため受付は終了いたしました。

【モデレータ】
DSForum実行委員 ソフトウェア企画部

※前半と後半両方参加できる方のみご聴講可能です

Emulator vs FPGAトーク
～大規模LSIのシステム検証の覇者はどっち!? ～
13：50-15：00

【モデレータ】
（株）ソシオネクスト
古手川 博久 氏

既存の設計検証フローを強化、短TAT化する、リアルインテントのスタティック検証ソリューション

日本リアルインテント（株）
神田 和孝 氏

デバッグツールVSTARを使用したFPGAトップダウンデバッグ手法

ベリフィケーションテクノロジー（株）
羽坂 佳典 氏

モバイル機器や4K/8K UHDビデオ向けデバイスの低消費電力を実現する、PowerとThermal向け仮想プロトタイピング・ソリューション

Intel/Docea社
（株）ネクストリーム
川原 常盛 氏

C++を用いたSobelフィルタの実装を検証する

日本ワンスピン・ソリューションズ（株）

Auto Formal検証ツールの導入評価と適用効果

日本電気(株)
池内 克尚 氏

ＳＤＳｏＣを使った、C言語によるFPGA開発事例

（有）FPGAインフォメーション
小山 忠昭 氏

IoTとオープン ソース ソフトウェア

（株）富士通コンピュータテクノロジーズ
浅羽 鉄平 氏

画像処理エンジン向けアルゴリズム開発でプロジェクトを炎上させないためにすべきこと

（株）ニコン
大渕 麻莉 氏

高位合成をディスカッションする会－２(後半)
15：15-17：15
満席となりましたため受付は終了いたしました。

【モデレータ】
富士ゼロックス（株）
宮下 晴信 氏

※前半と後半両方参加できる方のみご聴講可能です

DSF検証研究会

検証ってナンだ！？(後半)
15：15-16：25
満席となりましたため受付は終了いたしました。

【モデレータ】
コニカミノルタ（株）
河邊 恭 氏

※前半と後半両方参加できる方のみご聴講可能です

JasperGold CDC：新しいフォーマル検証アプリで非同期デザインの疑似エラーを大幅に削減

日本ケイデンス・デザイン・システムズ社
志賀 玲子 氏

IoT時代におけるものづくり戦略

（株）ジィーサス
藤田 哲也 氏

コネクテッドデバイスのソフトウェア開発エコシステムにおけるセキュリティ脆弱性対策

日本シノプシス(合)
津村 直史 氏

次世代CベースSoC統合設計検証ソリューションのご紹介

新システムビジョン研究開発機構（NSV） / 東京工業大学・学術国際情報センター
一色 剛 氏

検証作業自動化・効率化を目指した統合環境の構築 ～検証項目表をベースとした検証手法～

富士通CIT（株）
山岸 誓 氏

FPGAコンピューティング

（株）ベクトロジー
篠田 義一 氏

ますますコンバージェンスに進め半導体

（株）テカナリエ
清水 洋治 氏

ザイリンクスSDSoC採用事例紹介、及びMPSoCデモ説明

（株）OKIアイディエス
高橋 渉 氏