Using the reverse-carry approach for double datapath floating-point addition | Publicación