| 講演名 | 1998/4/17 拡張ペトリネットを用いた並列演算器のHDL自動生成とFPGAへの実装 和崎 克己, 永沢 元, 田口 一星, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 拡張ペトリネットを用いて並列演算ハードウェアをモデル化し, その後ハードウェア記述言語(HDL)へ変換することで, ゲートアレイ(FPGA)への実装を行う.このために, 拡張ペトリネットからHDLへの変換方法について検討した.HDLレベルでは論理検証やゼロ遅延でのタイミング検証を行う.FPGAレベルでは実デバイスでの遅延情報を用いたタイミングや動作速度の検証を行う.提案する新しい手法により, パイプラインおよび並列動作の正当性を検証し設計時における信頼性を確保することが本研究の主眼である. |
| 抄録(英) | In this report, we propose an automatic generation of HDL for parallel accumulators based on the extended Petri net. For this, the authors have discussed thier research on the conversion method from an extended Petri net to HDL(Hardware Description Language). First, the timings for a logical verification based on zero-delays are verified at the HDL level. Then, the timings for an operation speed which uses delay information in a real device and delays are verified at the FPGA level. It is the purpose of this research to point out that verify the evaluation of a pipeline and a parallel operation by the proposed new technique and to improvement of the reliability when designing in conformity to the specificatios. |
| キーワード(和) | ペトリネット / ハードウェア記述言語 / 並列演算器 / システム安定性 |
| キーワード(英) | Petri Nets / Hardware Description Language / Parallel Accumulators / System Stability |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | IE |
|---|---|
| 開催期間 | 1998/4/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Image Engineering (IE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 拡張ペトリネットを用いた並列演算器のHDL自動生成とFPGAへの実装 |
| サブタイトル（和） | |
| タイトル（英） | The Realization and Evaluation of An Automatic Generation of HDL for Parallel Accumulators based on The Extended Petri Net |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri Nets |
| キーワード(2)（和/英） | ハードウェア記述言語 / Hardware Description Language |
| キーワード(3)（和/英） | 並列演算器 / Parallel Accumulators |
| キーワード(4)（和/英） | システム安定性 / System Stability |
| 第 1 著者 氏名（和/英） | 和崎 克己 / Katsumi WASAKI |
| 第 1 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Eng., Faculty of Eng., Shinshu University |
| 第 2 著者 氏名（和/英） | 永沢 元 / Hajime EIZAWA |
| 第 2 著者 所属（和/英） | 長岡技術科学大学電気系 Department of Electrical Eng., Nagaoka University of Tech. |
| 第 3 著者 氏名（和/英） | 田口 一星 / Issei TAGUCHI |
| 第 3 著者 所属（和/英） | 長野工業高等専門学校電子制御工学科 Department of Electronic & Control Eng., Nagano National College of Tech. |
| 発表年月日 | 1998/4/17 |
| 資料番号 | |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 4 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |