2月28日(水) 午前 FPGA実装
座長: 島袋 勝彦（琉球大）
09:30 - 10:45 |
(1)
VLD |
09:30-09:55 |
FPGA実装によるRBF近似関数の高速計算について |
○増田祥吾・永山 忍・稲木雅人・若林真一（広島市大） |
(2)
VLD |
09:55-10:20 |
ランダムフォレストに基づく書き換え可能なネットワーク侵入検知ハードウェアのメモリ量削減について |
○薛 斌斌・永山 忍・稲木雅人・若林真一（広島市大） |
(3)
VLD |
10:20-10:45 |
高次元データに対するLSH法を用いたk近傍探索ハードウェア |
○荒井悠人・若林真一・永山 忍・稲木雅人（広島市大） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
2月28日(水) 午前 SAT応用
座長: 瀬戸 謙修（東京都市大）
11:00 - 12:15 |
(4)
VLD |
11:00-11:25 |
制約充足問題を利用した多端子ネットに対する高速配線手法 |
○山口沙樹・高島康裕（北九州市大） |
(5)
VLD |
11:25-11:50 |
Amoeba-inspired SAT Solvers on FPGA through High Level Synthesis |
○Hoang Ngoc Anh Nguyen（Tokyo Tech）・Masashi Aono（Keio Univ.）・Yuko Hara-Azumi（Tokyo Tech） |
(6)
VLD |
11:50-12:15 |
Systematic Analysis Framework of Variables Significance towards Approximate Computing |
○Sara Ayman Metwalli・Yuko Hara-Azumi（Tokyo Tech） |
| |
12:15-13:30 |
昼食 （ 75分 ） |
2月28日(水) 午後 高位設計技術
座長: 今川 隆司（立命館大）
13:30 - 14:45 |
(7)
VLD |
13:30-13:55 |
正当なDEXファイルの生成によるAndroid仮想マシンのランダムテスト |
○池尾弘史・清水遼太郎・石浦菜岐佐（関西学院大） |
(8)
VLD |
13:55-14:20 |
ソース・コンパイラを用いた配線混雑改善の高位設計フロー |
○立岡真人・金子峰雄（北陸先端大） |
(9)
VLD |
14:20-14:45 |
高位合成における多重ループに対するパイプライン処理時のサイクル数オーバーヘッド削減を行うループ平坦化ツールの開発 |
○石川大輔・瀬戸謙修（東京都市大） |
| |
14:45-15:00 |
休憩 （ 15分 ） |
2月28日(水) 午後 応用事例
座長: 新田 高庸（NTT）
15:00 - 16:15 |
(10)
VLD |
15:00-15:25 |
2種類の情報をもつ動画像を用いたフレーム補間の前景除去と輪郭抽出による品質向上 |
○井原大文・今川隆司（立命館大）・上坂浩貴・鴻上慎吾・筒井 弘・宮永喜一（北大）・越智裕之（立命館大） |
(11)
VLD |
15:25-15:50 |
Full-HD 60-fps実時間オプティカルフロー推定プロセッサのアーキテクチャ設計 |
○神田哲志（日大）・今村幸祐・松田吉雄（金沢大）・松村哲哉（日大） |
(12)
VLD |
15:50-16:15 |
リチウムイオン蓄電池を搭載したEVカートの加速条件最適化の一検討 |
○藤井春弥・土田祥生・阿部智貴・林 磊・福井正博（立命館大） |
| |
16:15-16:30 |
休憩 （ 15分 ） |
2月28日(水) 午後 高信頼化手法
座長: 永山 忍（広島市立大）
16:30 - 18:10 |
(13)
VLD |
16:30-16:55 |
耐故障FPGAのための一再構成手法とその評価 |
○馬 鋮・金子峰雄（北陸先端大） |
(14)
VLD |
16:55-17:20 |
コンポーネント間近接制約に基づいた混合誤り訂正機構の信頼性評価 |
○呉 政訓・金子峰雄（北陸先端大） |
(15)
VLD |
17:20-17:45 |
FDSOIに適したスタック構造におけるソフトエラー対策手法の提案・評価と微細化による影響の評価 |
○丸岡晴喜・山田晃大・榎原光則・古田 潤・小林和淑（京都工繊大） |
(16)
VLD |
17:45-18:10 |
65 nm FDSOIプロセスのトランジスタモデルの違いによるフリップフロップのソフトエラー耐性の実測と評価 |
○榎原光則・丸岡晴喜・山田晃大・古田 潤・小林和淑（京都工繊大） |
3月1日(木) 午前 製造性考慮設計
座長: 福田 大輔（富士通研究所）
09:00 - 10:15 |
(17)
VLD |
09:00-09:25 |
配線間距離を考慮した特徴量に基づくリソグラフィホットスポット検出手法の検討 |
○片岡 岳・稲木雅人・永山 忍・若林真一（広島市大） |
(18)
VLD |
09:25-09:50 |
転移学習に基づく効率的なリソグラフィホットスポット検出器の生成手法 |
○鈴木脩平・富岡洋一（会津大） |
(19)
VLD |
09:50-10:15 |
製造後遅延調整における面積と消費電力の削減ためのクラスタリング手法 |
○室井孝太・小平行秀（会津大） |
| |
10:15-10:30 |
休憩 （ 15分 ） |
3月1日(木) 午前 最適化手法
座長: 高島 康裕（北九州市大）
10:30 - 11:45 |
(20)
VLD |
10:30-10:55 |
モンテカルロ木探索を用いたモチーフ抽出法の提案と実験的評価 |
○湯浅佑介・永山 忍・稲木雅人・若林真一（広島市大） |
(21)
VLD |
10:55-11:20 |
モンテカルロ木探索を用いた並列プレフィックス加算器合成手法の実装と評価 |
○松永多苗子（日本文理大）・松永裕介（九大） |
(22)
VLD |
11:20-11:45 |
バッファ挿入を考慮した並列プレフィックス加算器の最適化設計 |
○西岡達紘・金子峰雄（北陸先端大） |
| |
11:45-13:00 |
昼食 （ 75分 ） |
3月1日(木) 午後 論理設計
座長: 峯岸 孝行（三菱電機）
13:00 - 14:15 |
(23)
VLD |
13:00-13:25 |
一般同期回路における遅延挿入に対するグラフ縮小技法の評価 |
○新井祐樹・築山修治（中大） |
(24)
VLD |
13:25-13:50 |
束データ方式による非同期式RTLモデルに対する消費エネルギー最適化の検討 |
○仙波翔吾・齋藤 寛（会津大） |
(25)
VLD |
13:50-14:15 |
論理合成の誤り修正手法を用いた論理暗号化手法の評価 |
○松永裕介（九大） |
| |
14:15-14:30 |
休憩 （ 15分 ） |
3月1日(木) 午後 モデルベース設計
座長: パリジ マチュー（富士通研究所）
14:30 - 15:45 |
(26)
VLD |
14:30-14:55 |
モデルベース開発におけるSW/HW分割手法 ～ Matlab/SimulinkとCベース高位合成を用いたSW/HW分割の自動化 ～ |
○山本 亮・村野弘樹・山本歩夢・小川吉大（三菱電機） |
(27)
VLD |
14:55-15:20 |
モデルベース並列化における複数周期タスクを混在させたコア割り当て手法 |
○池田良裕・枝廣正人（名大） |
(28)
VLD |
15:20-15:45 |
モデルベース並列化（MBP）におけるハードウェア/ソフトウェア協調設計環境 |
○柏原一輝・本田晋也・枝廣正人（名大） |
| |
15:45-16:00 |
休憩 （ 15分 ） |
3月1日(木) 午後 組込みシステム・IoT関連技術
座長: 金城 光永（琉球大）
16:00 - 17:15 |
(29)
VLD |
16:00-16:25 |
DNNの推論器向け高位合成用C記述の検討 |
○岡本卓也・山本椋太・本田晋也（名大） |
(30)
VLD |
16:25-16:50 |
FPGAを用いた組込みシステム向けDNNフレームワークの構想 |
○山本椋太・岡本卓也・本田晋也（名大）・趙 茜・松本斗貴・中本幸一（兵庫県立大）・酒井 完・青山哲也・若林一敏（NEC） |
(31)
VLD |
16:50-17:15 |
自動平衡ブリッジ法に基づく自動校正機能を持つインピーダンス測定手法の提案 |
○白川貴啓・堺 亮介・中武繁寿（北九州市大） |
| |
18:30-21:30 |
懇親会 （ 180分 ） |
3月2日(金) 午前 回路設計技術
座長: 小平 行秀（会津大）
09:00 - 10:15 |
(32)
VLD |
09:00-09:25 |
ポテンショスタット法に基づく超小型・超微弱電流測定回路の提案 |
○磯貝太志・白川貴啓・中武繁寿（北九州市大） |
(33)
VLD |
09:25-09:50 |
ビアスイッチFPGA向け配線解析手法の検討 |
○中澤祐希・土井龍太郎・劉 載勲・橋本昌宜（阪大） |
(34)
VLD |
09:50-10:15 |
DRAMの自動リフレッシュ間隔延長とデータ修正に基づくアプロキシメートコンピューティングの提案と評価 |
○深澤高雅・宇佐美公良（芝浦工大） |
| |
10:15-10:30 |
休憩 （ 15分 ） |
3月2日(金) 午前 低消費電力・エネルギー化手法
座長: 稲木 雅人（広島市立大）
10:30 - 11:45 |
(35)
VLD |
10:30-10:55 |
Verify機能を備えた不揮発性フリップフロップの再構成アクセラレータCool Mega-Arrayへの適用とエネルギー評価 |
○赤池純也・宇佐美公良・工藤 優（芝浦工大）・天野英晴・池添赳治（慶大）・平賀啓三・周藤悠介・屋上公二郎（ソニーセミコンダクタソリューションズ） |
(36)
VLD |
10:55-11:20 |
過電圧スケーリングを用いた不正確計算による消費電力削減の検討 |
○佐藤雅紘・増田 豊・橋本昌宜（阪大） |
(37)
VLD |
11:20-11:45 |
選択的活性化によるスタンダードセルメモリの低消費エネルギー化 |
○塩見 準・石原 亨・小野寺秀俊（京大） |
| |
11:45-13:00 |
昼食 （ 75分 ） |
3月2日(金) 午後 招待講演
座長: 越智裕之（立命館大）
13:00 - 13:50 |
(38)
共通 |
13:00-13:50 |
［招待講演］第4次産業革命時代のスマート工場に対するサイバー攻撃と対策 |
○米田 健（三菱電機） |
| |
13:50-14:05 |
休憩 （ 15分 ） |
3月2日(金) 午後 ハードウェアセキュリティ
座長: 本田 晋也（名古屋大）
14:05 - 15:20 |
(39)
共通 |
14:05-14:30 |
同期機構の改良によるPL-PUFのシリコン実装 |
○小笠原泰弘・堀 洋平・小池帆平（産総研） |
(40)
共通 |
14:30-14:55 |
深層ニューラルネットワークを用いたDouble-Arbiter PUFに対するモデリング攻撃 |
○飯塚知希・粟野皓光・池田 誠（東大） |
(41)
共通 |
14:55-15:20 |
選択的チャレンジを用いたフィードフォワードPUFに対する機械学習攻撃 |
○野崎佑典・吉川雅弥（名城大） |
-cu