IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automated formal synthesis of Wallace Tree multipliers

2007 50th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS '07)

Author(s): O. Hasan ; S. Kort
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2007
Conference Location: Montreal, Que., Canada
Conference Date: 5 August 2007
Page(s): 293 - 296
ISBN (CD): 978-1-4244-1176-4
ISBN (Paper): 978-1-4244-1175-7
ISSN (Paper): 1548-3746
DOI: 10.1109/MWSCAS.2007.4488591
Regular:

In this paper, we present a formal synthesis methodology that is capable of performing correct synthesis at almost all levels of abstraction and can be adapted to be used for most of the... View More

Advertisement