5月18日(水) 午後 物理設計
座長: 山田 晃久 （シャープ）
14:15 - 15:30 |
(1)
VLD |
14:15-14:40 |
遠端クロストーク低減に向けてのスルーレート制御システム  VLD2011-1 |
○中島和紀・加藤 卓・佐々木伸一（佐賀大） |
(2)
VLD |
14:40-15:05 |
解析的配置のための効果的な重なり除去手法 VLD2011-2 |
○桑原翔太・小平行秀（会津大）・高島康裕（北九州市大） |
(3)
VLD |
15:05-15:30 |
パスエンコーディング手法を用いた周波数マッピング連想メモリの高速化 VLD2011-3 |
○佐々木静龍・安田雅浩・川畑明雄・小出哲士・マタウシュ ハンス ユルゲン（広島大） |
| |
15:30-15:45 |
休憩 （ 15分 ） |
5月18日(水) 午後 招待講演1
座長: 小野澤 晃 （NTT）
15:45 - 16:45 |
(4)
VLD |
15:45-16:45 |
［招待講演］ゲーティング技術の最新動向 VLD2011-4 |
○宇佐美公良（芝浦工大） |
| |
16:45-16:50 |
休憩 （ 5分 ） |
5月18日(水) 午後 招待講演2
座長: 小野澤 晃 （NTT）
16:50 - 17:50 |
(5)
VLD |
16:50-17:50 |
［招待講演］アルゴリズム／アーキテクチャレベルの低消費電力技術：画像処理を例に VLD2011-5 |
○後藤 敏（早大） |
5月19日(木) 午前 論理設計
座長: 高木 一義 （京大）
09:30 - 10:45 |
(6)
VLD |
09:30-09:55 |
セレクタ論理帰着型重み付き加算器を用いた超解像処理 VLD2011-6 |
○吉原弘峰・柳澤政生・大附辰夫・戸川 望（早大） |
(7)
VLD |
09:55-10:20 |
論理素子の制御値に基づく多段のパワーゲーティング VLD2011-7 |
○金 予・木村晋二（早大） |
| (8) |
10:20-10:45 |
一般化並列カウンタに基づくマルチオペランド加算器のILPを用いた合成手法
○松永多苗子・木村晋二(早大)・松永裕介(九大) |
| |
10:45-10:55 |
休憩 （ 10分 ） |
5月19日(木) 午前 最適化技術
座長: 瀬戸 謙修 (東京都市大)
10:55 - 12:10 |
| (9) |
10:55-11:20 |
束データ方式による非同期式回路の設計支援システムの構築
○飯塚 成・濱田尚宏・齋藤 寛（会津大）・山口良一・吉永 稔（ルネサス マイクロシステム) |
| (10) |
11:20-11:45 |
高位合成ツールを利用したハードウエアアルゴリズムの最適化
○福井 啓・藤田昌宏(東大) |
| (11) |
11:45-12:10 |
トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法
酒井皓太・○垣内洋介・浜口清治（阪大） |
| |
12:10-13:20 |
昼食 （ 70分 ） |
5月19日(木) 午後 検証技術
座長: 坂主 圭史 （阪大）
13:20 - 14:35 |
| (12) |
13:20-13:45 |
組込みシステム向けリアルタイム性能シミュレーション
○池 敦・田宮 豊・タシデビッド・桑村慎哉（富士通研） |
| (13) |
13:45-14:10 |
形式的検証を用いたプロセッサエラー回復機構の耐性評価手法の検討
○清水修一・松本剛史(東大)・藤田昌宏(東大, JST CREST) |
| (14) |
14:10-14:35 |
反例と設計分割に基づく高位設計に対する効率的な設計修正支援手法
原田裕基・○松本剛史(東大)・藤田昌宏(東大, JST CREST) |
： 
a
s
rp
