5月8日(木) 午後 招待講演1 座長: 石浦菜岐佐(関西学院大) 13:30 - 14:30 |
(1) |
13:30-14:30 |
[招待講演]FPGAを利用したHW/SW協調検証 |
○中村祐一・細川晃平(NEC) |
|
14:30-14:45 |
休憩 ( 15分 ) |
5月8日(木) 午後 アサーションベース検証 座長: 松永裕介(九大) 14:45 - 15:35 |
(2) |
14:45-15:10 |
Checker Circuit Generation for System Verilog Assertions in Prototyping Verification |
○Mengru Wang・Shinji Kimura(Waseda Univ.) |
(3) |
15:10-15:35 |
局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成 |
竹内 翔・○浜口清治・垣内洋介・柏原敏伸(阪大) |
|
15:35-15:50 |
休憩 ( 15分 ) |
5月8日(木) 午後 合成および演算器最適化 座長: 杉原真(豊橋技科大) 15:50 - 17:05 |
(4) |
15:50-16:15 |
マルチプレクサの削減を目的としたバインディング改善手法 |
○小玉 翔・松永裕介(九大) |
(5) |
16:15-16:40 |
セレクタ論理を用いたバタフライ演算器の設計 |
○名村 健・戸川 望・柳澤政生・大附辰夫(早大)・外村元伸(大日本印刷) |
(6) |
16:40-17:05 |
スイッチング確率を考慮したprefix graph合成手法の改良について |
○松永多苗子・木村晋二(早大)・松永裕介(九大) |
5月9日(金) 午前 招待講演2 座長: 石原亨(九大) 10:00 - 11:00 |
(7) |
10:00-11:00 |
[招待講演]LSIのノイズ問題:アプローチとチャレンジ |
○永田 真(神戸大) |
|
11:00-11:15 |
休憩 ( 15分 ) |
5月9日(金) 午前 見積もり技術 座長: 泉知論(立命館大) 11:15 - 12:05 |
(8) |
11:15-11:40 |
Fast Wire Length Estimation in Obstructive Block Placement |
Shuting Li(Univ. of Kitakyushu)・Tan Yan(Univ. of Illinois at Urbana-Champaign)・○Yasuhiro Takashima・Hiroshi Murata(Univ. of Kitakyushu) |
(9) |
11:40-12:05 |
Analysis of Effects of Input Arrival Time Variations on On-Chip Bus Power Consumption |
○Masanori Muroyama・Tohru Ishihara・Hiroto Yasuura(Kyushu Univ.) |
|
12:05-13:30 |
昼食 ( 85分 ) |
5月9日(金) 午後 低消費電力設計 座長: 河野一郎(ルネサス) 13:30 - 14:20 |
(10) |
13:30-13:55 |
Fine-Grained Power Gating Based on the Controlling Value of Logic Gates |
○Lei Chen(Waseda Univ.)・Takashi Horiyama(Saitama Univ.)・Yuichi Nakamura(NEC)・Shinji Kimura(Waseda Univ.) |
(11) |
13:55-14:20 |
サブ100mW H.264/AVC MP@L4.1 HDTV解像度対応整数画素精度動き検出プロセッサコア |
○水野孝祐・宮越純一・村地勇一郎・濱本真生・飯沼隆弘・石原朋和・印 芳・李 将充・上農哲也・川口 博・吉本雅彦(神戸大) |
|
14:20-14:35 |
休憩 ( 15分 ) |
5月9日(金) 午後 高信頼システム 座長: 越智裕之(京大) 14:35 - 15:25 |
(12) |
14:35-15:00 |
高信頼性モードと高速アクセスモードを有するディペンダブルSRAM |
○奥村俊介・藤原英弘・井口友輔・野口紘希・森田泰弘・川口 博・吉本雅彦(神戸大) |
(13) |
15:00-15:25 |
リアルタイム制約とSEU脆弱性制約の下でのヘテロジーニアスマルチプロセッサ合成技術 |
○杉原 真(豊橋技科大/JST) |