| 講演名 | 2005-06-28 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般) 渡邉 裕樹, 本間 尚文, 青木 孝文, 樋口 龍雄, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では, 算術アルゴリズム記述言語ARITHに基づく並列乗算器の設計について述べる.ARITHで記述された乗算アルゴリズムは数式処理による形式的検証が可能である.本稿ではさらに, ARITHの応用として構築した乗算器モジュールジェネレータについて述べる.提案するシステムは, 冗長数系などの特殊数系を用いた乗算器を含む352種類の乗算器を生成する. |
| 抄録(英) | This paper presents a design of parallel multipliers based on arithmetic description language called ARITH. The multiplication algorithms in ARITH can be verified formally by formula manipulations. In this paper, we also present an application of ARITH to a multiplier module generator. The proposed system generates 352 types of parallel multipliers including those using unconventional number systems such as redundant number systems. |
| キーワード(和) | 算術演算回路 / ハードウェア記述言語 / 形式的検証 |
| キーワード(英) | arithmetic circuit / hardware description language / formal verification |
| 資料番号 | CAS2005-21,VLD2005-32,SIP2005-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SIP |
|---|---|
| 開催期間 | 2005/6/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Signal Processing (SIP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Formal Design of Arithmetic Circuits with Arithmetic Description Language: ARITH |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 算術演算回路 / arithmetic circuit |
| キーワード(2)（和/英） | ハードウェア記述言語 / hardware description language |
| キーワード(3)（和/英） | 形式的検証 / formal verification |
| 第 1 著者 氏名（和/英） | 渡邉 裕樹 / Yuuki WATANABE |
| 第 1 著者 所属（和/英） | 東北大学大学院情報科学研究科 Graduate School of Information Sciences Tohoku University |
| 第 2 著者 氏名（和/英） | 本間 尚文 / Nofumi HOMMA |
| 第 2 著者 所属（和/英） | 東北大学大学院情報科学研究科 Graduate School of Information Sciences Tohoku University |
| 第 3 著者 氏名（和/英） | 青木 孝文 / Takahumi AOKI |
| 第 3 著者 所属（和/英） | 東北大学大学院情報科学研究科 Graduate School of Information Sciences Tohoku University |
| 第 4 著者 氏名（和/英） | 樋口 龍雄 / Tatsuo HIGUCHI |
| 第 4 著者 所属（和/英） | 東北工業大学工学部電子工学科 Department of Electronic Engineering, Faculty of Engineering, Tohoku Institute of Technology |
| 発表年月日 | 2005-06-28 |
| 資料番号 | CAS2005-21,VLD2005-32,SIP2005-45 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 150 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |