| 講演名 | 2004/3/11 電子系・機械系協調設計における設計検証法に関する検討(<特集>実時間処理,組込システム及び一般) 佐々木 俊介, 小松 聡, 藤田 昌宏, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では、電子系・機械系協調設計の例として、FPGAとCPUを用いてロボットアームを制御しチェスを指すシステムを実装することを通じて、電子系・機械系の両方を含むシステムのC言語による記述法と、その検証手法を提案する。電子系・機械系の両方を含むシステムの検証のために、C言語で記述されたディジタル系の記述にアナログ・機械系モデルの記述を加える方法を述べる。そのような記述を利用することによって、C言語を対象とした検証手法を電子系・機械系を含むシステムの検証に利用することが可能になる。 |
| 抄録(英) | In this paper, we propose a method to describe systems that includes electorical and mechanical elements with C-language and methods to verify such designs through an experimental designing of a chess-playing system. We express a method to add analog and mechanical models to digital designs written in C-language for verifications of systems that include both of them. Using this method, we make it possible to use verification methods that targets C-language for verifications of systems that includes electorical and mechanical elements. |
| キーワード(和) | 電子系・機械系協調設計 / 電子系・機械系協調検証 / Cベース設計 |
| キーワード(英) | Electro mechano co-design / Electro mechano co-verification / C based design |
| 資料番号 | CPSY2003-49 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CPSY |
|---|---|
| 開催期間 | 2004/3/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Computer Systems (CPSY) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 電子系・機械系協調設計における設計検証法に関する検討(<特集>実時間処理,組込システム及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Discussion about design verification on co-design of electronics and mechanics |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 電子系・機械系協調設計 / Electro mechano co-design |
| キーワード(2)（和/英） | 電子系・機械系協調検証 / Electro mechano co-verification |
| キーワード(3)（和/英） | Cベース設計 / C based design |
| 第 1 著者 氏名（和/英） | 佐々木 俊介 / Shunsuke SASAKI |
| 第 1 著者 所属（和/英） | 東京大学工学部電子情報工学科 Department of Electronics Engineering, Undergraduate School of Engineering, University of Tokyo |
| 第 2 著者 氏名（和/英） | 小松 聡 / Satoshi KOMATSU |
| 第 2 著者 所属（和/英） | 東京大学大規模集積システム設計教育研究センター VLSI Design and Education Center, University of Tokyo |
| 第 3 著者 氏名（和/英） | 藤田 昌宏 / Masahiro FUJITA |
| 第 3 著者 所属（和/英） | 東京大学大学院工学系研究科電子工学専攻 Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo |
| 発表年月日 | 2004/3/11 |
| 資料番号 | CPSY2003-49 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 735 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |