Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen

Browse the full ICA3PP paper archive.