講演抄録/キーワード |
講演名 |
2005-06-28 13:50
算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計 ○渡邉裕樹・本間尚文・青木孝文(東北大)・樋口龍雄(東北工大) |
抄録 |
(和) |
本稿では,算術アルゴリズム記述言語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 / / / / / |
文献情報 |
信学技報, vol. 105, no. 148, VLD2005-32, pp. 37-42, 2005年6月. |
資料番号 |
VLD2005-32 |
発行日 |
2005-06-21 (CAS, VLD, SIP) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|
研究会情報 |
研究会 |
CAS SIP VLD |
開催期間 |
2005-06-27 - 2005-06-28 |
開催地(和) |
東北大学 |
開催地(英) |
Tohoku University |
テーマ(和) |
信号処理、LSI、及び一般 |
テーマ(英) |
Signal Processing, LSI, etc. |
講演論文情報の詳細 |
申込み研究会 |
VLD |
会議コード |
2005-06-CAS-SIP-VLD |
本文の言語 |
日本語 |
タイトル(和) |
算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計 |
サブタイトル(和) |
|
タイトル(英) |
Formal Design of Arithmetic Circuits with Arithmetic Description Language: ARITH |
サブタイトル(英) |
|
キーワード(1)(和/英) |
算術演算回路 / arithmetic circuit |
キーワード(2)(和/英) |
ハードウェア記述言語 / hardware description language |
キーワード(3)(和/英) |
形式的検証 / formal verification |
キーワード(4)(和/英) |
/ |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
渡邉 裕樹 / Yuki Watanabe / ワタナベ ユウキ |
第1著者 所属(和/英) |
東北大学 (略称: 東北大)
Tohoku University (略称: Tohoku Univ.) |
第2著者 氏名(和/英/ヨミ) |
本間 尚文 / Naofumi Homma / ホンマ ナオフミ |
第2著者 所属(和/英) |
東北大学 (略称: 東北大)
Tohoku University (略称: Tohoku Univ.) |
第3著者 氏名(和/英/ヨミ) |
青木 孝文 / Takafumi Aoki / アオキ タカフミ |
第3著者 所属(和/英) |
東北大学 (略称: 東北大)
Tohoku University (略称: Tohoku Univ.) |
第4著者 氏名(和/英/ヨミ) |
樋口 龍雄 / Tatsuo Higuchi / ヒグチ タツオ |
第4著者 所属(和/英) |
東北工業大学 (略称: 東北工大)
Tohoku Institute of Technology (略称: Tohtech) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2005-06-28 13:50:00 |
発表時間 |
25分 |
申込先研究会 |
VLD |
資料番号 |
CAS2005-21, VLD2005-32, SIP2005-45 |
巻番号(vol) |
vol.105 |
号番号(no) |
no.146(CAS), no.148(VLD), no.150(SIP) |
ページ範囲 |
pp.37-42 |
ページ数 |
6 |
発行日 |
2005-06-21 (CAS, VLD, SIP) |