Feng Liu, Qingping Tan, Xiaoyu Song, Gang Chen. Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. In Ching-Hsien Hsu, Laurence Tianruo Yang, Jong Hyuk Park, Sang-Soo Yeo, editors, Algorithms and Architectures for Parallel Processing, 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I. Volume 6081 of Lecture Notes in Computer Science, pages 193-204, Springer, 2010. [doi]
Abstract is missing.