主査：神戸 尚志、 幹事：稲森 稔・枝廣 正人・木村 晋二
日 時： 2005年 1月25日(火) 09:30 - 17:30
2005年 1月26日(水) 09:30 - 17:10
会 場 ： 慶應義塾大学
日吉キャンパス
来往舎2階 大会議室（東急東横線日吉駅 下車徒歩2分）
テーマ ： FPGAとその応用および一般
議 題 ：
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
動的再構成可能デバイスの耐故障化に関する検討
○越智直紀・中原健太郎・森江太士・神山真一・泉 知論・越智裕之・中村行宏（京大）
−−− 昼食 （ 60分 ） −−−
［13:00 - 15:20］●設計/検証
(6) 13:00 - 13:40
［招待講演］アサーションベース検証の基礎とそのねらい
○浜口清治（阪大）
(7) 13:40 - 14:20
[招待講演] IP再利用を容易化する検証IPとアサーション
○今井 正紀(STARC)
(8) 14:20 - 14:50
分割統治法による形式的機能検証のためのインタフェイスプロトコルに対するアサーションの分割
○松島広直・北嶋 暁（阪電通大）
(9) 14:50 - 15:20
クロストークノイズの低減を指向した配置手法
○落合真和・吉川雅弥・藤野 毅・寺井秀一（立命館）
−−− 休憩 （ 10分 ） −−−
［15:30 - 17:30］●応用1
(10) 15:30 - 16:00
グラフ最小節点被覆問題に対するFPGAを用いたインスタンス依存ハードウェア解法
○菊池健司・若林真一（広島市立大）
(11) 16:00 - 16:30
FPGA上へ実装されたPCMGTPを用いたSAT問題の解決
○木之下昇平・松田純一・藤田 博・長谷川隆三（九大）
(12) 16:30 - 17:00
SBML対応細胞シミュレータ環境の構築
○岩岡 洋・長名保範・福島知紀・吉見真聡（慶大）・舟橋 啓・広井賀子（科学技術振興機構）・柴田裕一郎・岩永直樹（長崎大）・北野宏明（科学技術振興機構）・天野英晴（慶大）
(13) 17:00 - 17:30
シーケンスペアに基づく交叉専用アーキテクチャの設計
○金光亮輔・尾藤彰訓・吉川雅弥・寺井秀一（立命館）
1月26日(水)
［09:30 - 12:00］●応用2
(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を用いたオーディオ電子すかしの検出
○榊原憲宏・井口 寧（北陸先端大）
−−− 昼食 （ 60分 ） −−−
［13:00 - 14:30］●ハードウェアアルゴリズム
(19) 13:00 - 13:30
動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実例
○神山知己・倉田圭吾・池畑陽介・北道淳司・黒田研一（会津大）
(20) 13:30 - 14:00
ルックアップ・テーブル・リングを用いた、128ビットキーをもつＡＥＳ暗号化回路の設計
○キン フィ・笹尾 勤（九工大）・井口幸洋（明大）
(21) 14:00 - 14:30
SD数演算を用いた剰余数系ー重み数系の変換回路の構成
○小川由美・陳 土爽清・魏 書剛（群大）
−−− 休憩 （ 10分 ） −−−
［14:40 - 17:10］●プロセッサ/コンパイラ
(22) 14:40 - 15:10
ハード/ソフト・コラーニングシステムにおける各種マイクロプロセッサの設計と実装
○中村浩一郎・Hoang Anh Tuan・小柳 滋・山崎勝弘（立命大）
(23) 15:10 - 15:40
単一チップ・マルチプロセッサSKYにおける投機的スレッド実行の性能評価
○上村井明夫・小林良太郎・安藤秀樹・島田俊夫（名大）
(24) 15:40 - 16:10
実時間画像エフェクト処理のための ASIP アーキテクチャの提案
○吉村龍洋・坂主圭史・武内良典・今井正治（阪大）
(25) 16:10 - 16:40
プロセッサ記述からの命令依存距離抽出
○平岡佑介・石浦菜岐佐（関学）・今井正治（阪大）
(26) 16:40 - 17:10
リターゲッタブル・コンパイラのための命令パターン生成
○岸本充司・石浦菜岐佐・益井勇気（関学）・今井正治（阪大）
＊電子情報通信学会 VLD, CPSY研究会と共催。RECONF協賛。
☆VLD研究会
【問合先】
山口 龍一(松下電器) yamaguchi.ryuichi@jp.panasonic.com
◎最新情報は、VLD研究会ホームページをご覧下さい。
◎http://www.ieice.org/￣vld/
☆CPSY研究会今後の予定 [ ]内発表申込締切日
3月 [未定]
【問合先】
梶原 信樹(日本電気) n-kajihara@ab.jp.nec.com
◎最新情報は、CPSY研究会ホームページをご覧下さい。
◎http://www.ieice.org/iss/cpsy/jpn/index.html
☆IPSJ-SLDM研究会
【問合先】
木村 晋二(早稲田大) shinji_kimura@waseda.jp
◎最新情報は、情報処理学会SLDM研究会ホームページをご覧下さい。
◎http://www.ipsj.or.jp/sig/sldm/
☆RECONF研究会
【問合先】
天野 英晴(慶応大) hunga@am.ics.keio.ac.jp
◎最新情報は、RECONF研究会ホームページをご覧下さい。
◎http://www.am.ics.keio.ac.jp/reconf/