Advanced Design Technologies Using HLS Solutions

（株）ソシオネクスト
立岡　真人 氏

IoT時代におけるデバイス検証手法について

（株）リコー　
守田 直也 氏

LLVMコンパイラ基盤を、いろいろ応用してみる

京都マイクロコンピュータ(株)
若槻　俊宏 氏

VLSI設計からCPS設計へ
～アプリケーション設計技術の最近の動向～

立命館大学
谷口 一徹 氏

高位合成をディスカッションする会(前半)

高位合成で何をするか？どうすればいいのか？

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

DSF検証研究会(前半)

検証ってナンだ！？

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

すべてをつなげるマジレム・ソリューション

東芝情報システム（株）
マジレム ジャパン
中村　幸二 氏

従来型オンチップロジアナに代わる、新世代FPGAデバッグツールVSTARのご紹介

ベリフィケーションテクノロジー（株）
嶋本　功 氏

Synplifyが生まれて20年 ～今こそ使う、進化したFPGA合成ツール Synplify Premier

日本シノプシス合同会社
井上　栄理 氏

ARMアプリケーションプロセッサの上流設計を一日で！IPベースのSOC設計フローを容易にするSocratesツール群のご紹介

アーム（株）
中島　理志 氏

カメラシステム」シームレス検証環境の実現にむけて

（株）ニコン
松本　矩尚 氏

「ハードウェア検証の今と昔」
～既存の検証手法から最新の検証手法まで～

富士ゼロックス（株）
三角 晃 氏

並行ソフトウェア実行時検証のアクセラレーション技術

東京工業大学
荒堀　喜貴 氏

低消費電力モバイル機器向け新規格インターフェース(Cool Pepper®)の開発

（株）セレブレクス
鈴木　眞也 氏

高位合成チュートリアル

Zynq+Synthesijer ハンズオン．Javaではじめる手軽なFPGA開発チュートリアル

【モデレータ】
わさらぼ合同会社
三好　健文 氏

こちらのセッションは定員に達しました。

フォーマル検証トーク
(12:15-13:25)

フォーマル検証に対する理想と現実。動的検証ではだめなの？

【モデレータ】
京セラドキュメントソリューションズ(株)
岡田　充弘 氏

統合TLM2.0ソリューション「Vista」によるアーキテクチャ設計と仮想プロトタイピング

サイバネットシステム（株）
並木 武文 氏

高信頼性設計のためのフォーマル検証

OneSpin Solutions Japan K.K.
David Kelf 氏

Prodigy Complete Prototyping Platform - あらゆる設計規模、種類、工程に対応したプラットフォーム

S2Cジャパン（株）
辻　智之 氏

ニューラルネットワーク搭載IPによる認識システムの構築

日本シノプシス合同会社
井手野　雅明 氏

ドセアで実現する消費電力と発熱の解析、および低消費電力な製品の実現

DOCEA POWER / Intel Corporation
（株）ネクストリーム　
川原　常盛 氏

シフトレフトに向けた検証手法と新世代検証環境

日本シノプシス合同会社
黒坂　均 氏

次世代 FPGA 向け開発ツールの最新テクノロジー・エンジン

日本アルテラ（株）
福原　徹郎 氏

画像認識の行方

日本シーバ(株)
日比野　一敬 氏

高性能システム設計の勘所　～バスの調停はこうすべし！～

京セラドキュメントソリューションズ(株)
北村　哲朗 氏

仮想環境とＦＰＧＡを利用した協調検証システムの構築事例

ルネサスシステムデザイン(株)　
中村 義紀 氏

Xilinx社のFPGAにおける高位合成ツールVivado HLSの効果と性能

筑波大学
小野　雅晃 氏

検証のマネジメントを容易にする検証環境ソリューション

コニカミノルタ(株)
河邊　恭 氏

プロトタイプ開発トーク
(14:05-15:15)

VirtualとRealの狭間を垣間見る

【モデレータ】
(株)リコー
木村 貞弘 氏

エンジニアのチカラを活かす
～エンジニアのスキル把握と人材活用について～

（株）パソナテック
佐々木　誠 氏

Hardware-Software Co-verification for Successful Custom SoC Projects
【日本語で講演】

Open-Silicon, Inc.
Devendra Godbole 氏

仕様書作成のススメ
～設計品質向上に役に立つ仕様書を作成しよう！～

ＣＭエンジニアリング（株）
斎藤　早苗 氏

次世代SoC向けのトータルなセキュリティを実現するOmniSheild

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

Cソースコード見える化手法を用いたハードウェア開発

（株）レガートデザインコーポレーション　
高本　博文 氏

製品開発における失敗事例に基づく成功への導き

東芝マイクロエレクトロニクス（株）
森　誉浩 氏

マルチコア向けソフト開発ツールの最新動向と事例解説

イーソル（株）
権藤　正樹 氏

フロントエンドでの情報共有化による簡単で短TATな設計を目指して
～ESL/RTL情報共有化のためのフレームワーク構築事例～

（株）リコー　
小澤　賢一 氏

高位合成をディスカッションする会(後半)

高位合成で何をするか？どうすればいいのか？

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

こちらのセッションは定員に達しました。

DSF検証研究会(後半)

検証ってナンだ！？

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

こちらのセッションは定員に達しました。

シフトレフトを実現するシステムからHW/SW設計へのプロトタイプ・ソリューション

日本シノプシス合同会社
中野　淳二 氏

ISO26262に対応したケイデンスの機能安全ソリューション

日本ケイデンス・デザイン・システムズ社
後藤　謙治 氏

従来のCソースをマルチコア向けに自動分割する最新ソリューションの紹介

Silexica Software Solutions GMBH
（株）ネクストリーム
川原　常盛 氏

FPGAを使った高速化をSWエンジニアだけで実現！

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

IoT未来社会インフラを築くIoT3.0グローバル戦略

IP500Alliance e.V. Chapter Japan
豊崎　禎久 氏

Ｚｙｎｑを使った、ネットの高速化。ソフトからハードへの高速化手法

有限会社FPGAインフォメーション
小山　忠昭 氏

画像処理向けCベース機能特化プロセッサ設計及びIP設計フレームワーク

東京工業大学
一色 剛 氏

（株）ソシオネクスト
信太 昌也 氏