1月25日(火) 午前 アーキテクチャ
09:30 - 12:00 |
| (1) |
09:30-10:00 |
ALU間接続を制限したALUアレイによるリコンフィギュラブルプロセッサの検討 |
○岡田 誠・平松達夫・中島 洋・小曽根 真・平瀬勝典（三洋電機）・木村晋二（早大） |
| (2) |
10:00-10:30 |
配線リソースを考慮した再構成可能1bitプロセッサアレイ |
○中井伸郎・中西正樹・山下 茂・渡邉勝正（奈良先端大） |
| (3) |
10:30-11:00 |
動的リコンフィギャラブルプロセッサにおける可変クロック機構の導入 |
○天野英晴・安達義則・堤 聡・石川健一郎（慶大） |
| (4) |
11:00-11:30 |
非同期マルチコンテキストデバイスの提案 |
○安達義則・堤 聡・天野英晴（慶大） |
| (5) |
11:30-12:00 |
動的再構成可能デバイスの耐故障化に関する検討 |
○越智直紀・中原健太郎・森江太士・神山真一・泉 知論・越智裕之・中村行宏（京大） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
1月25日(火) 午後 招待講演1 設計・検証
13:00 - 14:00 |
| (6) |
13:00-13:30 |
［招待講演］アサーションベース検証の基礎とそのねらい |
○浜口清治（阪大） |
| (7) |
13:30-14:00 |
［招待講演］IP再利用を容易化する検証IPとアサーション ～ 検証IPとSTARCにおける取り組み ～ |
○今井正紀（半導体理工学研究センター） |
| |
14:00-14:10 |
休憩 （ 10分 ） |
1月25日(火) 午後 設計/検証
14:10 - 15:10 |
| (8) |
14:10-14:40 |
分割統治法による形式的機能検証のためのインタフェイスプロトコルに対するアサーションの分割 |
○松島広直・北嶋 暁（阪電通大） |
| (9) |
14:40-15:10 |
クロストークノイズの低減を指向した配置手法 |
○落合真和・吉川雅弥・藤野 毅・寺井秀一（立命館大） |
| |
15:10-15:20 |
休憩 （ 10分 ） |
1月25日(火) 午後 応用1
15:20 - 17:20 |
| (10) |
15:20-15:50 |
グラフ最小節点被覆問題に対するFPGAを用いたインスタンス依存ハードウェア解法 |
○菊池健司・若林真一（広島市大） |
| (11) |
15:50-16:20 |
FPGA上に実装されたPCMGTPを用いたSAT問題の解決 |
○木之下昇平・松田純一・藤田 博・越村三幸・長谷川隆三（九大） |
| (12) |
16:20-16:50 |
SBML対応細胞シミュレータ環境の構築 |
○岩岡 洋・長名保範・福島知紀・吉見真聡（慶大）・舟橋 啓・広井賀子（JST）・柴田裕一郎・岩永直樹（長崎大）・北野宏明（JST）・天野英晴（慶大） |
| (13) |
16:50-17:20 |
シーケンスペアに基づく交叉専用アーキテクチャの設計 |
○金光亮輔・尾藤彰訓・吉川雅弥・寺井秀一（立命館大） |
1月26日(水) 午前 応用2
09:30 - 12:00 |
| (14) |
09:30-10:00 |
並列可視化処理向けFPGA搭載PCIカードへのボリュームレンダリングの予備実装 |
○岡村 大・五島正裕・森 眞一郎・中島康彦・富田眞治（京大） |
| (15) |
10:00-10:30 |
パノラマ映像生成機能のハードウエア実現について |
○長瀬幸規・川村尚生・菅原一孔（鳥取大） |
| (16) |
10:30-11:00 |
動的輪郭モデルのハードウェア化とその読唇母音認識への応用 |
○佐々木悠介・川村尚生・菅原一孔（鳥取大） |
| (17) |
11:00-11:30 |
FPGAによる海洋生物のための音声解析システムの実装 |
○清水友樹（早大）・バール ラジェンダール（インド工科大）・坂田雅雄・浦 環（東大）・柳澤政生（早大） |
| (18) |
11:30-12:00 |
FPGAを用いたオーディオ電子透かしの検出 |
○榊原憲宏・井口 寧（北陸先端大） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
1月26日(水) 午後 招待講演2 コンフィギャラブルプロセッサ
13:00 - 13:30 |
| (19) |
13:00-13:30 |
［招待講演］コンフィギュラブルプロセッサMePとそのSoC開発事例 |
○宮森 高（東芝） |
| |
13:30-13:40 |
休憩 （ 10分 ） |
1月26日(水) 午後 プロセッサ/コンパイラ
13:40 - 16:10 |
| (20) |
13:40-14:10 |
ハード/ソフト・コラーニングシステムにおける各種マイクロプロセッサの設計と実装 |
○中村浩一郎・Hoang Anh Tuan・小柳 滋・山崎勝弘（立命館大） |
| (21) |
14:10-14:40 |
単一チップ・マルチプロセッサSKYにおける投機的スレッド実行の性能評価 |
○上村井明夫・小林良太郎・安藤秀樹・島田俊夫（名大） |
| (22) |
14:40-15:10 |
実時間画像エフェクト処理のための ASIP アーキテクチャの提案 |
○吉村龍洋・坂主圭史・武内良典・今井正治（阪大） |
| (23) |
15:10-15:40 |
プロセッサ仕様記述からの命令依存距離抽出 |
○平岡佑介・石浦菜岐佐（関西学院大）・今井正治（阪大） |
| (24) |
15:40-16:10 |
リターゲッタブル・コンパイラのための命令パターン生成 |
○岸本充司・石浦菜岐佐・益井勇気（関西学院大）・今井正治（阪大） |
| |
16:10-16:20 |
休憩 （ 10分 ） |
1月26日(水) 午後 ハードウェアアルゴリズム
16:20 - 17:50 |
| (25) |
16:20-16:50 |
動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装 |
○神山知己・倉田圭吾・池畑陽介・北道淳司・黒田研一（会津大） |
| (26) |
16:50-17:20 |
A Design of AES Encryption Circuit with 128-bit keys Using Look-Up Table Ring |
○Hui Qin・Tsutomu Sasao（Kyushu Inst. of Tech.）・Yukihiro Iguchi（Meiji Univ.） |
| (27) |
17:20-17:50 |
SD数演算を用いた剰余数系ー重み数系変換回路 |
○小川由真・陳 土爽清・魏 書剛（群馬大） |
gu
r
i
c
c
io
n
