Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Kazuya Ishida Articles by Naofumi Homma Articles by Takafumi Aoki Articles by Tatsuo Higuchi

34th International Symposium on Multiple-Valued Logic (ISMVL'04)

University of Toronto, Toronto, Canada

May 19-May 22

ISBN: 0-7695-2130-4

	ASCII Text	x
	Kazuya Ishida, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi, "Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH," Multiple-Valued Logic, IEEE International Symposium on, pp. 334-339, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004.

	BibTex	x
	@article{ 10.1109/ISMVL.2004.1319964, author = {Kazuya Ishida and Naofumi Homma and Takafumi Aoki and Tatsuo Higuchi}, title = {Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {0195-623X}, pages = {334-339}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319964}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH SN - 0195-623X SP334 EP339 A1 - Kazuya Ishida, A1 - Naofumi Homma, A1 - Takafumi Aoki, A1 - Tatsuo Higuchi, PY - 2004 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Kazuya Ishida, Tohoku University

Naofumi Homma, Tohoku University

Takafumi Aoki, Tohoku University

Tatsuo Higuchi, Tohoku Institute of Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2004.1319964

This paper proposes the basic concept of arithmetic description language called ARITH. The use of ARITH makes possible (i) formal description of arithmetic algorithms including those using unconventional number systems, (ii) formal verification of described arithmetic algorithms, and (iii) translation of arithmetic algorithms to equivalent HDL codes. In this paper, we demonstrate the potential of ARITH through an experimental design of parallel multipliers using binary signed-digit number system.

Citation:

Kazuya Ishida, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi, "Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH," ismvl, pp.334-339, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.