情報処理学会ホームに戻る
最終更新日:2007年8月2日

DAシンポジウム2007
− システムLSI設計技術とDA −

 

 システムLSI設計技術は、情報家電、携帯機器、コンピュータ、ネットワークシステムなど現在および将来の電子装置の進歩を支える重要技術の一つです。本シンポジウムではシステムLSIの設計技術およびDA技術の進展に役立てるため、最新の技術発表と技術動向情報の交換を目的として発表と討論の場を提供するものであり、下記要領で開催いたします。

日  時  2007年8月29日(水)12:50〜18:10(受付11:50開始。懇親会19:00〜)
               30日(木) 9:00〜15:55

会  場  遠鉄ホテルエンパイア (静岡県浜松市舘山寺町1891番地)
        (http://www.entetsu.co.jp/kaihatu/empire/

主  催  情報処理学会 システムLSI設計技術研究会 (SLDM)
        (http://www.ipsj.or.jp/sig/sldm/
協  賛  情報処理学会 組込みシステム研究会 (EMB)
        (http://www.ertl.jp/SIGEMB/

 また、今回は昨年に引続きSWEST9(組込みシステム技術に関するサマーワークショップ)(http://www.ertl.jp/SWEST/)と同時開催(8月30日〜31日)致します。

参加ご希望の方は、期日までに以下の方法にてお申込みください。

■申込締切   2007年7月18日(水) → 締切延長しました!! 8月1日(水)締切 申込みは締切りました。

■参 加 費 (いずれも論文集代、宿泊費、懇親会費を含む。消費税込)

正会員
27,000円
研究会登録会員
21,000円
学生
17,000円
非会員
32,000円

論文集のみ

5,000円(送料/税込)

※DAシンポジウムは、原則として開催日程通しての参加となっております。やむをえず部分的に参加される場合には、宿泊費分が減額されます。詳細は申込方法をご参照下さい。

■申込方法 
 学会Webページの行事申込書にてお申込みください。申し込み前に以下の注意事項を必ずお読みください。 → 申込みは締切りました。

  • 参加申込後,やむを得ず参加を取り消される場合は,申込締切日までにお願いします。取り消しの連絡のない場合は,準備の都合上,参加費を徴収致します。

  • 申し込み受領のメールを申込締切後にお送りいたします(後述参照)。また、後日参加章引換券を郵送します(7月下旬頃の予定)。

  • お支払方法で郵便振替を選択された場合は郵便振替用紙を、請求書を希望された場合は請求書を、参加章引換券と一緒に7月下旬頃郵送します。お手元に届きましたらお手続きください(振込期限9月末)。

  • DAシンポジウムは、原則として開催日程通しての参加となっております。やむをえず部分的に参加される場合には減額します。その場合、宿泊なしと「通信欄」に記入し1泊につき10,000円(学生の場合は1泊につき6,000円)を差し引いた金額を「参加費欄」にご記入下さい。尚、宿泊せずに懇親会に参加する場合は、懇親会は参加と「通信欄」に追記し、7,000円を追加料金として当日受付にて現金でお支払い下さい。

  • DAシンポジウムは参加費に懇親会費が含まれるため、行事申込書の「懇親会費」は空欄にして下さい。

  • 本行事申込書に記載の個人情報は、本シンポジウム運営(例えば、部屋割り作業や部屋割り名簿での氏名開示なども含む)以外の目的に使用いたしません。

  • DAシンポジウムは、自由闊達な議論を行うために、カジュアルな服装での参加を推奨しています。

  • SWESTに参加される方は、「通信欄」にご記入下さい。部屋割りでなるべく考慮します。

■請求書・領収書について
 情報処理学会が発行するDAシンポジウムの請求書・領収書の額は、上記参加費の通りとなります。宿泊費、参加費個々の内訳は請求書に記載されません。参加費個々の内訳に関しては、当日、別紙にてお渡しいたします。

■参加申込受領のメールについて
 
参加申込受領のメールを、申込締切後に送付致します。7月24日までに受領のメールまたは郵便が届かない時には、7月27日までに電話で照会先までご確認ください。

■申込/照会先

研究部門 シンポジウム係
E-mail:sig"at"ipsj.or.jp  Tel(03)3518-8372 Fax(03)3518-8375


=================================================================================
■招 待 講 演
◆DAS招待講演(8月29日(水)13:00〜14:20 セッション1B-1)

「最先端の組み込みマルチコア用コンパイラ技術」 笠原 博徳(早稲田大学)

今後、高性能・低消費電力マルチコアプロセッサは、携帯電話,カーナビ,デジタルTV,DVD,ゲームのような情報家電から、自動車,スーパーコンピュータに至る非常に多くの情報関連機器で採用されていくと予想される。本講演では、このようなマルチコアプロセッサにおいて、優れた価格性能比、高アプリケーションソフトウェア生産性、短ハード・ソフト開発期間、半導体集積度向上に応じたスケーラブルな性能向上、低消費電力化を達成するためのキーテクノロジとなる自動並列化コンパイル技術について紹介する。

=================================================================================
■プ ロ グ ラ ム

8月29日(水) *セッションB:会議室B セッションC:会議室C セッションE:会議室E
○[12:50〜13:00]開会の挨拶

●[13:00〜14:20]セッション1B:DAS招待講演   座長:小野寺秀俊(京大)
(1B-1)最先端の組み込みマルチコア用コンパイラ技術
    笠原博徳(早大)

●[14:30〜16:10]セッション2B:統計的遅延解析   座長:橋本昌宜(阪大)
(2B-1)統計的遅延解析における遅延分布間の最大値計算手法
    ○寺田晴彦、福岡孝之、土谷 亮、小野寺秀俊(京大)
(2B-2)同時スイッチングの影響を考慮した統計的遅延解析
    ○福岡孝之、土谷 亮、小野寺秀俊(京大)
(2B-3)統計的タイミング解析における実用的なばらつきの推定
    ○池田 弘、杉山広行、井口克巳、備前直美、小松裕成、吉田裕司、伊藤則之(富士通)
(2B-4)プロセッサ設計における統計的タイミング解析の実適用
    ○小松裕成、杉山広行、井口克巳、備前直美、池田 弘、吉田裕司、伊藤則之(富士通)

●[14:30〜16:10]セッション2C:構成可変プロセッサ   座長:久我守弘(熊本大)
(2C-1)HW/SW協調合成におけるASIPの面積/遅延見積もり手法
    ○山崎大輔、小原俊逸、戸川 望、柳澤政生、大附辰夫(早大)
(2C-2)アプリケーションに特化した動的再構成可能なネットワークプロセッサ
    ○大田元則、小原俊逸、戸川 望、柳澤政生、大附辰夫(早大)
(2C-3)HW/SW協調設計におけるSW開発のためのデバッグ環境自動生成手法の提案
    ○渡辺愛子、坂主圭史、武内良典、今井正治(阪大)
(2C-4)コンフィギュラブル・プロセッサへのデバッグ機能追加の一手法
    ○岡島秀行、坂主圭史、武内良典、今井正治(阪大)

●[14:30〜16:10]セッション2E:検証技術   座長:木村晋二(早大)
(2E-1)SATベース形式的検証の高速化のためのCNF式生成における回路分割手法
    ○成瀬智啓、中村一博、高木一義、高木直史(名大)
(2E-2)計算機代数に基づく算術演算回路の表現と検証
    ○渡邉裕樹、本間尚文、青木孝文(東北大)、樋口龍雄(東北工業大)
(2E-3)FPGAエミュレータを利用した検証網羅率の統計学的測定手法
    ○細川晃平(NEC)、原口バク(NECマイクロシステム)、中村祐一(NEC)
(2E-4)部分回路の修正解に含まれるドントケアを考慮した論理診断手法
    ○石原俊郎、温水真一、岡田匠史、新居良祐、黒木修隆、沼 昌宏(神戸大)

●[16:30〜18:10]セッション3B:低消費電力技術(1)   座長:木村啓二(早大)
(3B-1)補正乗算器の動的割当てによるVSBイコライザの消費電力削減
    ○堀内俊介、佐藤晋也、山本昭徳、河嶋和美、黒木修隆、沼 昌宏(神戸大)
(3B-2)スクラッチパッドメモリを考慮したコード配置最適化による組込みシステムの低消費エネルギー化
    ○石飛百合子、石原 亨、安浦寛人(九大)
(3B-3)MIPS R3000における細粒度動的スリープ方式の提案
    ○関 直臣、長谷川陽平、天野英晴(慶大)、大久保直昭、武田晴大、
    香嶋俊裕、白井利明、宇佐美公良(芝浦工大)、近藤正章、中村 宏(東大)
(3B-4)電力見える化によるソフトウェア無駄電力の削減
    ○田宮 豊(富士通研)、藤田昌宏(東大)

●[16:30〜17:45]セッション3C:高位設計検証手法   座長:石原 亨(九大)
(3C-1)プロセス代数に基づくLSI仕様モデルの合成
    ○岩政幹人、日比野靖(北陸先端大)
(3C-2)高位設計のためのプロパティ記述言語の拡張
    ○遠藤侑介、今井健男、岩政幹人、片岡欣夫(東芝)
(3C-3)システムレベル設計におけるアサーションの合成手法の提案
    ○今井健男、遠藤侑介、岩政幹人、片岡欣夫(東芝)

●[17:50〜18:15]セッション2B(続き):統計的遅延解析     座長:橋本昌宜(阪大)
※会議室Cで開催します。
(2B-5)ノンパラメトリックSSTAの実現手法の検討
    ○今井正紀(東工大/STARC)、佐藤高史(東工大)、中山範明(東工大/ STARC)、益 一哉(東工大)

●[16:30〜18:10]セッション3E:配線技術   座長:高島康裕(北九州市立大)
(3E-1)障害物を考慮した3次元格子スタイナー木を求める遺伝的アルゴリズム
    ○戸津川裕志、瀬能浩史、大村道郎(広島工大)
(3E-2)製造ばらつきを考慮したメッシュ型クロック分配網のスキュー評価
    ○阿部慎也、橋本昌宜、尾上孝雄(阪大)
(3E-3)配線自由度によるばらつきを利用したFPGAの速度向上
    ○杉原 有理、小林 和淑、小野寺 秀俊(京大)
(3E-4)2層BGAパッケージにおける準順行ビア割り当て手法
    ○富岡 洋一、高橋 篤司(東工大)

○[19:00〜 ]懇親会


8月30日(木) *セッションA:会議室A セッションE:会議室E
●[9:00〜10:15]セッション4A:組み込みシステム   座長:戸川 望(早大)

(4A-1)RTOSシミュレータとFPGAを用いた組込みシステムの設計・検証手法
    ○柴田誠也、本田晋也、冨山宏之、高田広章(名大)
(4A-2)CHStone:Cベース高位合成のためのベンチマークスイート
    ○原 祐子、冨山宏之、本田晋也、高田広章、石井克哉(名大)
(4A-3)マルチプロセッサシステムのソフトエラー低減を目的としたタスクスケジューリング手法
    ○杉原 真(豊橋技科大)、石原 亨、村上和彰(九大)

●[9:00〜10:15]セッション4E:低消費電力技術(2)   座長:川口 博(神戸大)
(4E-1)SOI-SRAMのビットラインを用いたボディ制御による高速化
    ○瀬戸カヨコ、飯島正章、沼 昌宏(神戸大)、多田 章、一法師隆志(ルネサステクノロジ)
(4E-2)ワード線昇圧を用いた低消費電力メモリ設計方式
    ○飯島正章、瀬戸カヨコ、沼 昌宏(神戸大)、多田 章、一法師隆志(ルネサステクノロジ)
(4E-3)先端MOSFET技術におけるHiSIM2 PN接合電流モデル
    ○稲垣亮介(早大/半導体理工学研究センター)、三浦道子(広島大)、井上靖秋(早大)

●[10:30〜12:10]セッション5A:最適化技術    座長:坂主圭史(阪大)
(5A-1)ビット長を考慮した束データ方式による非同期式回路の動作合成手法の提案
    ○志賀雄城、濱田尚宏、小西隆夫、齋藤 寛(会津大)
(5A-2)一般同期方式向けレジスタ再配置手法の性能評価
    ○小平行秀、高橋篤司(東工大)
(5A-3)CADツールを用いた一般同期向けクロック木合成法の改良
    ○橋本浩良、小平行秀、高橋篤司(東工大)
(5A-4)タイミングを考慮した論理再合成手法
    ○岡田匠史、石原俊郎、新居良祐、黒木修隆、沼 昌宏(神戸大)

●[10:30〜12:10]セッション5E:テスト容易化技術・設計事例   座長:小林和淑(京大)
(5E-1)非順序式バックトラック手法を用いたテストパタン生成における矛盾の解析
    ○吉村正義、松永裕介(九大)
(5E-2)IDDQテスト用の近接配線ペアリスト生成の高速化手法
    ○末光啓一(ルネサスデザイン)、伊藤俊明、金本俊幾(ルネサステクノロジ)
    寺井正幸(大阪学院大)、小谷 憲(ルネサステクノロジ)、澤田茂穂(ルネサスデザイン)
(5E-3)GF($2^m$)上のSIMD型MSD乗算器を用いた楕円曲線暗号回路の実装
    ○奈良竜太、清水一範、小原俊逸、戸川 望、柳澤政生、大附辰夫(早大)
(5E-4)QDI遅延モデルによる非同期式オンチップバス回路の設計フローと評価
    ○田中克典、細川晃平、中村祐一(NEC)

●[13:10〜15:40]セッション6A:DAS/SWEST共同基調講演、基調パネル
(6A-1)現場力を高める見える化手法プロジェクトファシリテーション 〜モチベーションアップのツールと場づくり〜
  基調講演 :13:10〜14:30
  基調パネル:14:40〜15:40

    講師:平鍋健児(チェンジビジョン)
    パネリスト:高田広章(名大)、吉田裕司(富士通)、服部博行(ヴィッツ)
    司会:山崎 進(北九州カーエレセンター)

    概要:
    近年のソフトウェアの短納期化・高品質化に対する要求へ応えるには、工学的手法のみでは限界があります。ソフトウェアは、人が人のために作るものであり、チームが情報を共有しながら課題解決するためには、現場にモチベーションと「仕事の楽しさ」を復活させる必要があります。本講演では、アジャイル開発とトヨタ生産方式からヒントを得た見える化手法を使って、現場のモチベーションを高め、活性化することで生産性を伸ばす「プロジェクト・ファシリテーション」を、実践方法を交えてご紹介します。
    アジェンダ:
    ・ソフトウェア開発の問題点
    ・見える化とは何か
    ・プロジェクト・ファシリテーション実践事例紹介
    ・アジャイルとトヨタ生産方式
    ・価値と原則

○[15:45〜15:55]閉会の挨拶

 

******↓↓発表募集は終了しました↓↓****************

 システムLSIは、情報家電、携帯機器、コンピュータ、ネットワークシステムなど現在および将来の電子装置の進歩を支えるキーテクノロジーであります。そのテクノロジーを支える中心的技術の一つである設計自動化(DA)技術は、論理DA、レイアウトDA、テストDAといった各分野において飛躍的な進歩
を遂げてきました。近年、集積回路微細化技術の進展によりシステムLSIが実現可能となり、従来のDA分野にソフトウェア、ハードウェア協調設計や組み込みシステム設計方法論などが加わり、システムLSI設計技術とよばれる新たな分野を形成しております。また、実際の設計に適用しての性能評価などにも関心が高まりつつあります。設計言語、設計資産(IP)などの国際的な標準化活動も活発化しております。
 本シンポジウムではこうしたシステムLSIの設計技術およびDA技術の進展に貢献するべく、最新の技術発表と技術動向情報の交換を目的として発表と討論の場を提供するものです。今回は昨年に引き続きSWEST(組込みシステム技術に関するサマーワークショップ)と同時開催し、ソフトウエアまで含めた広いシステムLSI設計技術に関する討論を可能にします。
 本シンポジウムに関する最新の情報は, システムLSI設計技術研究会ホームページ でご覧になれます。


日  程  2007年8月29日(水)−30日(木)
会  場  遠鉄ホテルエンパイア(静岡県浜松市舘山寺町1891番地)

主  催  情報処理学会 システムLSI設計技術研究会

※※ 発表応募の受付は終了しました ※※
【 論文募集要項
  トピックス(予定)
  
  システムLSI設計技術

  • 設計手法 {モデリング、仕様決定、方式設計等}
  • システム設計 {システム検証/性能評価、リアルタイムOS、ソフトウェア開発環境等}
  • ハードウェア/ソフトウェア協調設計 {ハード/ソフト分割、協調検証等}
  • 設計品質見積り/予測 {信頼性、保守性等}
  • 設計コスト・生産性 {設計フロー、IP/設計資産の再利用、ライブラリ、設計教育等}
  • 設計事例 {マルチメディアLSI/機器、SOC、プロセッサ、IP、FPGA、大学での事例等}

  設計自動化(DA)設計技術

  • 機能/論理DA {ハイレベル/論理合成・最適化、低消費電力設計、高動作周波数設計、シグナルインテグリィティ設計等}
  • レイアウトDA {フロアプラン、配置配線、PCB、パッケージ、MCM等}
  • テストDA {テストパタン生成、故障診断、テスト容易化設計等}
  • 機能/論理/回路検証DA {シミュレーション、エミュレーション、形式検証、レイアウト検証、シグナルインテグリティ検証等}


【 発表形式 】

基本的に一般講演の形式の予定です。但し、シンポジウム運営上一般講演セッションの他にポスターセッションを設けることもあります。発表形式については、主催者側で決定します。発表分野を限定しません。設計事例の発表も歓迎します。

一般講演の他に、対話型の発表形式としてポスターセッションを予定しています。ポスターセッションでは希望に応じてノートPC 等の持ちこみによるデモンストレーションを受け付ける予定です。一般講演、ポスターセッションともに、発表分野を限定しません。一般講演での設計事例発表、ポスターセッションでの設計技術の発表も歓迎します。


【 応募方法 】

  1. アブストラクト(300字程度)、投稿論文の分野及びキーワード(5ワード以内)に下記の情報を添えて申込先へ送付してください。
     ・ タイトル
     ・ 発表者の氏名・所属略称
     ・ 他の著者の氏名・所属略称
     ・ 概要(なるべくタイトルとの重複記入は避け、補足事項等をご記入ください)
     ・ 連絡先(郵便番号・住所・所属・TEL・FAX・E-mail(必須))
     ・ 情報処理学会会員番号(非会員の場合は『非会員』とご記載下さい)
     ・ 発表希望日(ご希望に沿えない場合があります)
  2. E-mailでの申込みも受付けます。同様の内容をプレーンテキスト形式で、sig @ ipsj.or.jpにお送りください。区別のため必ずSubjectフィールドに半角(US-ASCII)文字で[DA-Sympo]をつけてください。
  3. ポスターセッションをご希望の場合は申込書に「ポスターセッション希望」と明記して下さい。ただし、一般講演とポスターセッションの選択はご希望に添えないことがありますことをご了承願います。
  4. 採録された場合、一般講演本論文は研究会発表形式で6頁、ポスターセッション論文は2〜6頁とします。

【 スケジュール 】

 論文(アブストラクト)応募締切 :2007年5月7日(月)必着
 採 否 通 知           :2007年6月1日(金)
 カメラレディ最終論文提出締切:2007年6月29日(金)


【 参 加 費 】
(いずれも論文集代、宿泊費、懇親会費を含む。消費税込)

正会員
27,000円
研究会登録会員
21,000円
学生
17,000円
非会員
32,000円

論文集のみ

5,000円(送料/税込)

※DAシンポジウムは、原則として開催日程通しての参加となっております。やむをえず部分的に参加される場合には、宿泊費が減額されます。ただし、宿泊費に懇親会(夕食)費が含まれるので、宿泊せずに懇親会に参加する場合は、懇親会費を徴収いたします。

※参加申込方法については、詳細が決まり次第掲載いたします。

【 申込/照会先

研究部門 シンポジウム係
E-mail:sig @ ipsj.or.jp  Tel(03)3518-8372 Fax(03)3518-8375