Paper Abstract and Keywords |
Presentation |
2005-06-28 13:50
Formal Design of Arithmetic Circuits with Arithmetic Description Language: ARITH Yuki Watanabe, Naofumi Homma, Takafumi Aoki (Tohoku Univ.), Tatsuo Higuchi (Tohtech) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
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. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
arithmetic circuit / hardware description language / formal verification / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 105, no. 148, VLD2005-32, pp. 37-42, June 2005. |
Paper # |
VLD2005-32 |
Date of Issue |
2005-06-21 (CAS, VLD, SIP) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
CAS SIP VLD |
Conference Date |
2005-06-27 - 2005-06-28 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Tohoku University |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Signal Processing, LSI, etc. |
Paper Information |
Registration To |
VLD |
Conference Code |
2005-06-CAS-SIP-VLD |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Formal Design of Arithmetic Circuits with Arithmetic Description Language: ARITH |
Sub Title (in English) |
|
Keyword(1) |
arithmetic circuit |
Keyword(2) |
hardware description language |
Keyword(3) |
formal verification |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Yuki Watanabe |
1st Author's Affiliation |
Tohoku University (Tohoku Univ.) |
2nd Author's Name |
Naofumi Homma |
2nd Author's Affiliation |
Tohoku University (Tohoku Univ.) |
3rd Author's Name |
Takafumi Aoki |
3rd Author's Affiliation |
Tohoku University (Tohoku Univ.) |
4th Author's Name |
Tatsuo Higuchi |
4th Author's Affiliation |
Tohoku Institute of Technology (Tohtech) |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2005-06-28 13:50:00 |
Presentation Time |
25 minutes |
Registration for |
VLD |
Paper # |
CAS2005-21, VLD2005-32, SIP2005-45 |
Volume (vol) |
vol.105 |
Number (no) |
no.146(CAS), no.148(VLD), no.150(SIP) |
Page |
pp.37-42 |
#Pages |
6 |
Date of Issue |
2005-06-21 (CAS, VLD, SIP) |