Energy-Efficient VLSI Realization of Binary64 Division With Redundant Number Systems | IEEE Journals & Magazine | IEEE Xplore