日 時 2008年 5月 8日（木） 13：30〜17：05
2008年 5月 9日（金） 10：00〜15：25
会 場 神戸大学 百年記念館会議室A（〒657-8501 神戸市灘区六甲台町1-1．
阪急「六甲駅」またはJR「六甲道駅」下車。神戸市バス36系統「鶴甲団地前」行
「神大文・理・農学部前」下車。
http://neweb.h.kobe-u.ac.jp/epg/sdkk/sdkk.html．
神戸大学工学部情報知能工学科 川口博．078-803-6317）
議 題 システム設計および一般
5月8日（木） 午後 招待講演１ （13：30〜14：30）
（1） 13:30 - 14:30
［招待講演］FPGAを利用したHW/SW協調検証
○中村祐一・細川晃平（NEC）
−−− 休憩 （ 15分 ） −−−
5月8日（木） 午後 アサーションベース検証 （14：45〜15：35）
（2） 14:45 - 15:10
プロトタイプ検証におけるシステムVerilogアサーションの検査回路生成
○王 夢茹・木村晋二（早大）
（3） 15:10 - 15:35
局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成
竹内 翔・○浜口清治・垣内洋介・柏原敏伸（阪大）
−−− 休憩 （ 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日（金） 午前 招待講演２ （10：00〜11：00）
（7） 10:00 - 11:00
［招待講演］LSIのノイズ問題：アプローチとチャレンジ
○永田 真（神大）
−−− 休憩 （ 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（UIUC）・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.）
−−− 昼食 （ 85分 ） −−−
5月9日（金） 午後 低消費電力設計 （13：30〜14：20）
（10） 13:30 - 13:55
制御値に基づく細粒度パワーゲーティング手法
○陳 磊（早大）・堀山貴史（埼大）・中村裕一（NEC）・木村晋二（早大）
（11） 13:55 - 14:20
サブ100mW H.264/AVC MP@L4.1 HDTV解像度対応 整数画素精度動き検出プロセッサコア
○水野孝祐・宮越純一・村地勇一郎・濱本真生・飯沼隆弘・石原朋和・印 芳・李 将充・上農哲也・川口 博・吉本雅彦（神大）
−−− 休憩 （ 15分 ） −−−
5月9日（金） 午後 高信頼システム （14：35〜15：25）
（12） 14:35 - 15:00
高信頼性モードと高速アクセスモードを有するディペンダブルSRAM
○奥村俊介・藤原英弘・井口友輔・野口紘希・森田泰弘・川口 博・吉本雅彦（神大）
（13） 15:00 - 15:25
リアルタイム制約とSEU脆弱性制約の下でのヘテロジーニアスマルチプロセッサ合成技術
○杉原 真（豊橋技科大）
◎5月8日研究会終了後、懇親会を予定していますので御参加ください。