Formal verification of tree-structured carry-lookahead adders | IEEE Conference Publication | IEEE Xplore