ＩＴ連携フォーラムＯＡＣＩＳ

第25回技術座談会開催のご案内
「SoC設計における機能検証技術」


　技術座談会は，OACISの活動の一つで，特定のテーマについて議論するもので，2ヶ月に1回程度開催します． 大学側からは1ないし2研究室の研究内容を紹介し，大学と企業の連携について自由な議論をする場です. より議論を深めるため，小規模の参加者で行います．
　第25回技術座談会は「SoC設計における機能検証技術」をテーマに開催致します． SoCを設計する際，回路実現の前工程として行われる設計検証，とくに機能検証は，もっとも多くの時間を必要とする工程となっており，設計工程全体におけるボトルネックの一つとなっております． 今回の座談会では，機能検証の効率化のため，提案されているさまざま手法について，近年の動向を踏まえて紹介いたします．
　　機能検証技術について，下記に興味のある方に御出席いただければと思います．
  1. 機能検証技術全般について概要を知りたい．
  2. アサーション検証，カバレッジ解析など最近の技術動向を知りたい．
  3. 静的検証（形式的検証）技術の現状を知りたい．
  4. 大学で研究し，博士号をとりたい（とらせたい）．
講師： 大阪大学 大学院情報科学研究科 バイオ情報工学専攻 助教授 浜口 清治

内容： 「SoC設計における機能検証技術」
　回路設計の機能検証技術全般に関して概観したのち，アサーション検証，カバレッジ指向検証，標準化言語について，また，静的検証技術の現状について，研究室で行っている研究内容にも触れつつ，紹介します． 原理については最小限にとどめ，これらの技術からなにが期待できるかという点を中心に解説します．
　具体的には次の内容について紹介します．
  • 機能検証技術の概要
  • 機能検証に関する最近の動向（アサーション検証／記述言語，カバレッジ指向検証，静的検証技術など）
  • 高位の設計技術に対する静的検証のための技術（研究室での研究内容）
　座談会では上記の話題に限らず，設計検証に関する問題やその解決について大学側として何ができるかについて，皆様と議論をしたいと考えています．
開催日時： 平成18年2月28日（火）
座談会 15:00〜17:00
懇親会 17:00〜18:00
個別の議論の場として懇親会を開催しますので，こちらへのご参加もよろしくお願いします．
場所： 大阪商工会議所 5階501号会議室（http://www.osaka.cci.or.jp/Shoukai/Map_Tel/shozaichi.html）
（〒540-0029　大阪市中央区本町橋2番8号）
参加対象： ＩＴ連携フォーラムＯＡＣＩＳ（http://www.oacis.jp/）会員企業・団体に属する方および参加希望企業の方．
 
  
**なお会場の都合上，参加は先着順30名とさせて頂きます．

申し込み方法：
    下記の内容をメールでregistration_zadankai25に送付する．

内容に関する問い合わせ先：
    大阪大学 大学院情報科学研究科 バイオ情報工学専攻　浜口 清治（hama）

-----------第25回技術座談会申し込み様式-------------------------------
第25回技術座談会（「SoC設計における機能検証技術」）

氏名：
会社名：
所属：
住所：
メールアドレス：
電話番号：

参加目的：下記のどれかに○をつけてください（複数可）．該当しない場合は（　）内に記述して下さい．

  1. 機能検証技術全般について概要を知りたい．
  2. アサーション検証，カバレッジ解析など最近の技術動向を知りたい．
  3. 静的検証（形式的検証）技術の現状を知りたい．
  4. 大学で研究し，博士号をとりたい（とらせたい）．
（参加目的：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　）
--------------------------------------------------------------------