| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-03-06 15:05 システムレベル設計言語に対するフォールスパスを考慮した性能評価 ○安藤大介・松本剛史・西原 佑・藤田昌宏（東大）  VLD2007-152 ICD2007-175 |
|
| 抄録 | （和） | 近年の高度に複雑化したシステムLSIを設計する際には，設計の早い段階から最大遅延や最小遅延などのタイミング情報を解析することが重要である．設計の遅延を静的に解析する場合，実際には実行されないフォールスパスによって最大遅延は本来より過大に評価されてしまう．本稿では，システムレベル設計言語に対する最大遅延の解析を行うにあたって，決定手続きによる真偽判定を用いて条件式を判定することによってフォールスパスを自動的に除外する手法と，分割統治法によって探索するパス数を制限してパス爆発を回避する手法を提案する．実験によって，フォールスパスを考慮しない場合に比べて最大遅延の評価の精度が向上したことを示す． |
| （英） | In designing today's highly complicated system-LSIs, it is essential to estimate timing information such as worst-case or best-case execution time in early design stages. Basicaly statically estimated worst-case execution time is longer than real worst-case execution time because of the false-paths which are not executed actually. In this paper, we present the worst-case performance analysis methods in system-level designs, considering false-paths by using a decision procedure. Also, we adopt divide and conqure approarch to aviod a path explosion problem. The experimental results show that our methods can estimate the worst-case execution time effectively in a short time. | |
| キーワード | （和） | システムレベル設計 / 性能見積もり / フォールスパス / / / / / |
| （英） | System-Level Design / Performance Estimation / False-Path / / / / / | |
| 文献情報 | 信学技報, vol. 107, no. 507, VLD2007-152, pp. 49-54, 2008年3月. | |
| 資料番号 | VLD2007-152 | |
| 発行日 | 2008-02-28 (VLD, ICD) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | VLD2007-152 ICD2007-175 |
|
| 研究会情報 | |
| 研究会 | VLD ICD |
| 開催期間 | 2008-03-05 - 2008-03-07 |
| 開催地（和） | 沖縄県男女共同参画センター |
| 開催地（英） | TiRuRu |
| テーマ（和） | システムオンシリコン設計技術ならびにこれを活用したVLSI <オーガナイザ：張山 昌論(東北大学)> |
| テーマ（英） | System-on-silicon design techniques and related VLSs |
| 講演論文情報の詳細 | |
| 申込み研究会 | VLD |
| 会議コード | 2008-03-VLD-ICD |
| 本文の言語 | 日本語 |
| タイトル（和） | システムレベル設計言語に対するフォールスパスを考慮した性能評価 |
| サブタイトル（和） | |
| タイトル（英） | Performance Estimation considering False-paths for System-level Design |
| サブタイトル（英） | |
| キーワード(1)（和/英） | システムレベル設計 / System-Level Design |
| キーワード(2)（和/英） | 性能見積もり / Performance Estimation |
| キーワード(3)（和/英） | フォールスパス / False-Path |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 安藤 大介 / Daisuke Ando / アンドウ ダイスケ |
| 第1著者 所属（和/英） | 東京大学 (略称： 東大) University of Tokyo (略称： Univ. of Tokyo) |
| 第2著者 氏名（和/英/ヨミ） | 松本 剛史 / Takeshi Matsumoto / マツモト タケシ |
| 第2著者 所属（和/英） | 東京大学 (略称： 東大) University of Tokyo (略称： Univ. of Tokyo) |
| 第3著者 氏名（和/英/ヨミ） | 西原 佑 / Tasuku Nishihara / ニシハラ タスク |
| 第3著者 所属（和/英） | 東京大学 (略称： 東大) University of Tokyo (略称： Univ. of Tokyo) |
| 第4著者 氏名（和/英/ヨミ） | 藤田 昌宏 / Masahiro Fujita / フジタ マサヒロ |
| 第4著者 所属（和/英） | 東京大学 (略称： 東大) University of Tokyo (略称： Univ. of Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-03-06 15:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | VLD |
| 資料番号 | VLD2007-152, ICD2007-175 |
| 巻番号（vol） | vol.107 |
| 号番号（no） | no.507(VLD), no.510(ICD) |
| ページ範囲 | pp.49-54 |
| ページ数 | 6 |
| 発行日 | 2008-02-28 (VLD, ICD) |
[研究会発表申込システムのトップページに戻る]