コンピュータ、ネットワークシステムなど現在および将来の電子装置の進歩を支える重要技術の一つです。本シンポジウムではシステムLSIの設計技術およびDA技術の進展に役立てるため、最新の技術発表と技術動向情報の交換を目的として発表と討論の場を提供するものであり、下記要領で開催いたします。2009年8月26日(水)13:00〜17:55(受付11:50開始。と5-1)http://www.arrowle.co.jp/※当日は、小松空港、JR加賀温泉駅から無料送迎バスを運行予定です。(EMB)http://www.ertl.jp/SIGEMB/参加ご希望の方は、期日までに以下の方法にてお申込み下さい。論文集のみ5,000円(送料/税込)※諸般の事情により、論文募集時にお知らせした参加費から見直しを行っております。誠に申し訳ありませんが、ご了承下さい。※DAシンポジウムは、原則として開催日程通しての参加となっております。やむをえず部分的に参加される場合には、宿泊費分が減額されます。Webページの行事申込(https://www.ipsj.or.jp/02moshikomi/event/event-da2009.html)よりお申込み下さい。申込は締め切りました。※本年より参加費のお支払い方法に当日の現金払いがなくなりました。8月末までのお振込みでお願いします。(原則8月末ですが、9月以降になる場合は、その旨ご連絡ください。)振込先はこちらのページをご覧ください。※論文集のみの場合は申込方法が異なります。参加申込締切後も在庫がある限り受付いたします。以下の内容を、研究部門宛にE-mail(sig"at"ipsj.or.jp)か、FAX:(03)3518-8375にてお送り下さい。発送はシンポジウム終了後となります。請求書を同封してお送りしますので、到着しましたらお手続き下さい。]参加申込後、やむを得ず参加を取り消される場合は、申込締切日までにお願いします。取り消しの連絡のない場合は、準備の都合上、参加費を徴収いたします。DAシンポジウム2009参加申込みをした時点で参加章引換券を兼ねた申込受信確認のメールを自動送信いたします。受領確認のメールをプリントアウトして、当日お持ちいただき、受付にご提出下さい。万一、左記メールが届かなかった場合、お手数ですが末尾に記載の【■申込/照会先】まで、電話またはE-mailにてご連絡下さい。(今年度より、参加章引換券、プログラム、会場案内等の郵送は行いません。)DAシンポジウムは、原則として開催日程通しての参加となっております。やむをえず部分的に参加される場合には減額します。(宿泊なしの場合、1泊につき11,000円(学生の場合は1泊につき7,000円)を減額します。宿泊せずに懇親会に参加する場合は、懇親会分として7,000円をお支払いいただきます。)本行事申込書に記載の個人情報は、本シンポジウム運営(例えば、部屋割り作業や部屋割り名簿での氏名開示なども含む)以外の目的に使用いたしません。DAシンポジウムは、自由闊達な議論を行うために、カジュアルな服装での参加を推奨しています。内訳は請求書に記載されません。参加費個々の内訳に関しては、当日、別紙にてお渡しいたします。(慶應義塾大学)短距離無線通信の応用が広がっています。ユビキタスな時代を迎え、モノとモノをワイヤレスに繋ぐ応用は拡大しています。通信距離が波長の1/10程度より短くなると、電磁界は近接場特有の性質を現します。パッケージ内に積層実装されたチップ間の無線通信は近接場通信です。誘導結合を用いたチップ間無線通信(ワイヤレスTSV)は、TSV(貫通シリコンビア)に匹敵する性能を格安に実現できます。大学での基礎研究を経て、産業界との応用研究が始まりました。Drive)を1つのパッケージ内に収納できます。性能要求に応じてプロセッサの積層枚数を変えれば、1つのチップで広い応用範囲をカバーできます。プロセッサとメモリの通信が広帯域で低電力に安く実現できます。位置が異なるコイルを誘導結合させるための再配線用インターポーザも研究されています。通信距離を数mmに延ばせば、パッケージ越しにチップ内部のバスをモニターしてデバッグしたり、非接触にウェハーテストができます。電力も無線給電すれば、応用はさらに拡大します。技術と応用をご紹介致します。(東京大学)SoC設計を中心として、C言語ベース設計の導入が進んでいる。動作するチップを速やかに設計するという観点からは、設計の初期段階である高位設計における設計検証技術が非常に重要になる。ア・ソフトウェア協調設計を念頭に、設計検証技術の現状と動向について解説する。形式的検証技術の実用的な利用および応用という視点に立つ技術に関し、モデルチェッキングと等価性検証技術に両面について説明していく。実際に利用して有意義な検証手法とするためには、設計最適化技術との連携も必須であり、対象を絞った検証技術の研究開発が活発に続けられている。シミュレーションにおいても、効果的なシミュレーションパターンを作成する際に形式的技術が利用されている。これらの動向をまとめながら、今後の方向性についても議論する。コンピュータ、ネットワークシステムなど現在および将来の電子装置の進歩を支えるキーテクノロジーであります。進展によりシステムLSIが実現可能となり、従来のDA分野にソフトウェア、ハードウェア協調設計や組み込みシステム設計方法論などが加わり、システムLSI設計技術とよばれる新たな分野を形成しております。(IP)などの国際的な標準化活動も活発化しております。本シンポジウムではこうしたシステムLSIの設計技術およびDA技術の進展に貢献するべく、最新の技術発表と技術動向情報の交換を目的として発表と討論の場を提供するものです。http://www.ertl.jp/SWEST/)と同時開催致します。一般講演の形式とします。今回ポスターセッションは実施しません。複数または単独の企業ならびに大学で、特別セッションを設けて発表を希望する場合は、研究発表申込書にその旨を記載願います。できる限り希望に沿うようにセッション編成する方針です。】Webフォームによる申込とします。フォームに、必要事項を記載の上、ご投稿ください。折り返し、申込受信のメールを自動送信いたします。末尾に記載の【申込/照会先】まで、お電話にてご連絡ください。縦長原稿)で6頁とします。5月13日(水)に延長しました。Fax(03)3518-8375。