研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2010-11-29 13:50 |
福岡 |
九州大学医学部百年講堂 |
仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法 ○吉田浩章・藤田昌宏(東大/JST) VLD2010-58 DC2010-25 |
SoCでは高性能・高電力効率を両立するため,複数のプロセッサに加えて多数の特定用途アクセ... [more] |
VLD2010-58 DC2010-25 pp.7-12 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2010-11-29 14:10 |
福岡 |
九州大学医学部百年講堂 |
発見的手法に基づくスケーラブルなインクリメンタル高位合成 ○小野翔平(東大)・吉田浩章・藤田昌宏(東大/JST) VLD2010-59 DC2010-26 |
近年のVLSIの大規模化・複雑化に伴い、高い抽象度で設計を記述することで
高い設計生産性を実現可能な高位合成手法の導入... [more] |
VLD2010-59 DC2010-26 pp.13-18 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2010-11-30 11:05 |
福岡 |
九州大学医学部百年講堂 |
高性能SoCプロトタイプのFPGA実装方式の検討 ○谷田英生(東大)・吉田浩章・藤田昌宏(東大/JST) VLD2010-68 DC2010-35 |
SoCの大規模化と開発期間短縮に伴い,FPGAによるプロトタイプ実装が行われる機会が増加している.また,今後のSoCの実... [more] |
VLD2010-68 DC2010-35 pp.79-84 |
DC |
2010-06-25 16:15 |
東京 |
機械振興会館 |
製造後デバッグのための入出力シーケンススライシング手法 ○李 蓮福・松本剛史・藤田昌宏(東大) DC2010-13 |
[more] |
DC2010-13 pp.31-36 |
VLD |
2010-03-11 11:15 |
沖縄 |
沖縄県男女共同参画センター |
潜在的多様性を考慮したプログラマブルハードウェアの高位合成手法 ○吉田浩章・藤田昌宏(東大/JST) VLD2009-110 |
SoCの開発コスト増大と開発期間短縮に伴い,製造故障や設計誤りの製造後修正を可能とする技術の重要性が増している.最近にな... [more] |
VLD2009-110 pp.67-72 |
DC |
2010-02-15 11:00 |
東京 |
機械振興会館 |
ハードウェアデバッグ支援のためのエラー入出力トレースの上位レベル設計における再現手法 ○李 蓮福・西原 祐・松本剛史(東大)・藤田昌宏(東大/JST) DC2009-69 |
[more] |
DC2009-69 pp.25-30 |
VLD, CPSY, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2010-01-26 09:25 |
神奈川 |
慶應義塾大学日吉キャンパス |
Reducing scheduling overheads in Dynamically Reconfigurable Processors ○Ratna Krishnamoorthy(Univ of Tokyo)・Keshavan Varadarajan・Mythri Alle(IISc)・Ranjani Narayan(Morphing Machines)・Masahiro Fujita(Univ of Tokyo)・S K Nandy(IISc) VLD2009-70 CPSY2009-52 RECONF2009-55 |
[more] |
VLD2009-70 CPSY2009-52 RECONF2009-55 pp.7-12 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2009-12-04 10:20 |
高知 |
高知市文化プラザ |
Increasing Yield Using Partially-Programmable Circuits ○Shigeru Yamashita(Ritsumeikan Univ.)・Hiroaki Yoshida・Masahiro Fujita(Univ. of Tokyo) VLD2009-59 DC2009-46 |
本論文では,回路の一部をLUT に置き換えたPartially-Programmable Circuits(PPCs)と... [more] |
VLD2009-59 DC2009-46 pp.125-130 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2009-12-04 15:20 |
高知 |
高知市文化プラザ |
設計固有セルライブラリの自動生成手法 ○吉田浩章・藤田昌宏(東大/JST) VLD2009-67 DC2009-54 |
近年のCAD技術の進歩の一方で,ASICとカスタムLSIの間には依然として大きな性能格差が存在する.セルライブラリはAS... [more] |
VLD2009-67 DC2009-54 pp.179-184 |
VLD |
2009-03-12 10:30 |
沖縄 |
沖縄県男女共同参画センター |
チップ内プログラマブル配線向け形式的検証手法 ○田川貴聡・吉田浩章・藤田昌宏(東大) VLD2008-142 |
近年の開発コストの増大に伴い、FPGAに代表されるプログラマブルなデバイスの重要性が増している。このようなデバイスの重要... [more] |
VLD2008-142 pp.95-100 |
VLD |
2009-03-12 14:15 |
沖縄 |
沖縄県男女共同参画センター |
リンク長及びレイテンシ制約下でのネットワークオンチップのトポロジ自動生成 ○谷田英生(東大)・吉田浩章(東大/JST)・松本剛史(東大)・藤田昌宏(東大/JST) VLD2008-148 |
半導体プロセスの微細化に伴い,SoCの性能はよりインターコネクトの性能に影響される部分が大きくなっている.多くのNoC ... [more] |
VLD2008-148 pp.129-134 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2009-03-05 17:00 |
新潟 |
佐渡島開発総合センター |
上位設計記述におけるダイナミックプログラムスライシングを用いたポストシリコンデバッグ支援手法 ○李 蓮福・松本剛史・藤田昌宏(東大) CPSY2008-93 DC2008-84 |
[more] |
CPSY2008-93 DC2008-84 pp.31-36 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2009-03-05 17:30 |
新潟 |
佐渡島開発総合センター |
システムレベル設計における並列動作の同期に関するデバッグ支援手法 ○原田裕基・西原 佑・松本剛史(東大)・藤田昌宏(東大/JST) CPSY2008-94 DC2008-85 |
上位設計記述においては、並列動作や同期・通信を用いて設計が記述される。本研究では、同期設計の誤りによりデッドロック等の不... [more] |
CPSY2008-94 DC2008-85 pp.37-42 |
VLD, CPSY, RECONF, IPSJ-SLDM (共催) |
2009-01-30 08:40 |
神奈川 |
慶応義塾大学(日吉) |
順序回路の上位設計記述における等価性指定の自動化手法 ○許 金美・西原 佑・松本剛史・藤田昌宏(東大) VLD2008-109 CPSY2008-71 RECONF2008-73 |
[more] |
VLD2008-109 CPSY2008-71 RECONF2008-73 pp.105-110 |
VLD, CPSY, RECONF, IPSJ-SLDM (共催) |
2009-01-30 09:05 |
神奈川 |
慶応義塾大学(日吉) |
仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法 ○高 飛・西原 佑・松本剛史・藤田昌宏(東大) VLD2008-110 CPSY2008-72 RECONF2008-74 |
近年、設計期間を短縮するために設計資産の再利用がよく行われている。その際、異なるインタフェースを持つ設計同士を接続する場... [more] |
VLD2008-110 CPSY2008-72 RECONF2008-74 pp.111-116 |
VLD, DC, IPSJ-SLDM (共催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2008-11-18 13:00 |
福岡 |
北九州学術研究都市 |
内部等価点の推定によるルールベース高位検証の高精度化 ○吉田浩章・藤田昌宏(東大/JST) |
高位設計記述間のルールベース等価性検証では、内部変数の等価点を前提として静的な依存関係や制御フローに基づいて定義された等... [more] |
VLD2008-78 DC2008-46 pp.109-114 |
VLD, DC, IPSJ-SLDM (共催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2008-11-18 13:25 |
福岡 |
北九州学術研究都市 |
反例を利用した網羅性の高いプロパティ集合生成手法 ○松本剛史・李 蓮福・吉田浩章(東大)・余宮尚志(東芝)・藤田昌宏(東大) |
[more] |
VLD2008-79 DC2008-47 pp.115-120 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2008-03-28 08:45 |
鹿児島 |
屋久島 離島総合開発センター |
準形式的モデル検査のハードウェア実装による高速化の検討 ○森下賢志・吉田浩章・藤田昌宏(東大) DC2007-103 CPSY2007-99 |
近年設計が大規模になり、複雑化が進むにつれて検証の重要性が増している。現在の重要な検証手法の一つであるモデル検査には適用... [more] |
DC2007-103 CPSY2007-99 pp.115-120 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB (共催) |
2008-03-28 10:30 |
鹿児島 |
屋久島 離島総合開発センター |
システムレベル設計記述に対する具体値・記号値シミュレーションによる入力パターンの自動生成手法 ○小島慶久・西原 佑・松本剛史・藤田昌宏(東大) DC2007-106 CPSY2007-102 |
システムの大規模複雑化に伴い,シミュレーションベースの検証やデバッグにおいて,人手による入力パターンの作成が困難になって... [more] |
DC2007-106 CPSY2007-102 pp.133-138 |
VLD, ICD (共催) |
2008-03-05 13:00 |
沖縄 |
沖縄県男女共同参画センター |
積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証 ○石川悠司・小松 聡・藤田昌宏(東大) VLD2007-137 ICD2007-160 |
[more] |
VLD2007-137 ICD2007-160 pp.1-6 |