| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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 |
| ET | 2010-01-23 15:50 |
茨城 | 筑波技大 | ろう学校における「助詞検定」の作成と実施：第2報 ○仲野てる子・向井星十・松田明美・田川由美・藤立勝大（石川県立ろう学校）・後藤 豊・大塚和彦・細谷美代子（筑波技大） ET2009-101 |
石川県立ろう学校では生徒の文章力向上のために，「校内助詞検定」を実施している。前報では助詞検定の基本的考え方，10～４級... [more] | ET2009-101 pp.55-60 |
| 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 |
| VLD, ICD (共催) |
2008-03-06 15:05 |
沖縄 | 沖縄県男女共同参画センター | システムレベル設計言語に対するフォールスパスを考慮した性能評価 ○安藤大介・松本剛史・西原 佑・藤田昌宏（東大） VLD2007-152 ICD2007-175 |
近年の高度に複雑化したシステムLSIを設計する際には，設計の早い段階から最大遅延や最小遅延などのタイミング情報を解析する... [more] | VLD2007-152 ICD2007-175 pp.49-54 |
| SS | 2008-03-03 15:25 |
長崎 | 長崎大学 | 既存設計の再利用を考慮したSoCの仕様記述手法と上位設計方法論 ○李 蓮福・石川悠司・小島慶久・吉田浩章（東大）・余宮尚志（東芝）・小松 聡・藤田昌宏（東大） SS2007-66 |
[more] | SS2007-66 pp.55-60 |
| RECONF | 2007-09-21 10:00 |
滋賀 | 立命館大学びわこくさつキャンパス （滋賀） | IP再利用のための動的再構成可能プロトコル変換器合成手法 ○石川悠司・小松 聡・藤田昌宏（東大） RECONF2007-24 |
プロトコル変換器合成は、システムLSI 設計でのIP（設計資産）再利用における最も重要な問題の一つである。 我々は、こ... [more] |
RECONF2007-24 pp.53-58 |
| ICD, VLD (共催) |
2007-03-07 15:20 |
沖縄 | メルパルク沖縄 | システムレベル設計に対する拡張システム依存グラフを利用した記述チェッカ ○安藤大介・松本剛史・西原 佑・藤田昌宏（東大） |
システムLSIやSoCのシステムレベル設計において，バグを早期に発見し修正することが重要である．本稿では，代表的なシステ... [more] | VLD2006-112 ICD2006-203 pp.37-42 |
[研究会発表申込システムのトップページに戻る]