Using the reverse-carry approach for double datapath floating-point addition | IEEE Conference Publication | IEEE Xplore