Formal Verification of Tree-Structured Carry-Lookahead Adders. - Sae Hwan Kim; Shiu-Kai Chin (Great Lakes Symposium on VLSI, 1999)