IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal verification of tree-structured carry-lookahead adders

Proceedings Ninth Great Lakes Symposium on VLSI

Author(s): Sae Hwan Kim ; Shiu-Kai Chin
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Ypsilanti, MI, USA, USA
Conference Date: 4 March 1999
Page(s): 232 - 233
ISBN (Paper): 0-7695-0104-4
ISSN (Paper): 1066-1395
DOI: 10.1109/GLSV.1999.757419
Regular:

Quad trees-trees with four branches, are used to abstractly describe tree-structured carry-lookahead adders using 4-bit components. The specification and implementation descriptions are... View More

Advertisement