[1] BRUGUERA J D. Low latency floating-point division and square root unit[J]. IEEE Transactions on Computers, 2020, 69(2): 274-287. [2] BRUGUERA J D. Radix-64 floating-point division and square root: iterative and pipelined units[J]. IEEE Transactions on Computers, 2023, 72(10): 2990-3001. [3] SODERQUIST P, LEESER M. Division and square root: choosing the right implementation[J]. IEEE Micro, 1997, 17(4): 56-66. [4] CORNEA-HASEGAN M A, GOLLIVER R A, MARKSTEIN P. Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms[C]//Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), Adelaide, SA, Australia, 1999: 96-105.. [5] LI B Y, FANG L L, XIE Y Z, et al. A unified reconfigurable floating-point arithmetic architecture based on CORDIC algorithm[C]//2017 International Conference on Field Programmable Technology (ICFPT), Melbourne, VIC, Australia, 2017: 301-302. [6] KWON T J, DRAPER J. Floating-point division and square root implementation using a Taylor-series expansion algorithm with reduced look-up tables[C]//2008 51st Midwest Symposium on Circuits and Systems, Knoxville, TN, USA, 2008: 954-957. [7] KWON T J, SONDEEN J, DRAPER J. Floating-point division and square root implementation using a Taylor-series expansion algorithm[C]//2008 15th IEEE International Conference on Electronics, Circuits and Systems, Saint Julian's, Malta, 2008: 702-705. [8] WEI J L, KUWANA A, KOBAYASHI H, et al. Floating-point square root calculation algorithm based on Taylor-series expansion and region division[C]//2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), Lansing, MI, USA, 2021: 774-778. [9] 李旭军, 石娜, 龙科莅, 等. 基于多项式逼近算法的精确浮点除法器的设计[J]. 微电子学与计算机, 2023, 40(5): 90-96. [10] SINGH N, SASAMAL T N. Design and synthesis of Goldschmidt algorithm based floating point divider on FPGA[C]//2016 International Conference on Communication and Signal Processing (ICCSP), Melmaruvathur, Tamilnadu, India, 2016: 1286-1289. [11] AKBARPOUR B, TAHAR S, DEKDOUK A. Formalization of fixed-point arithmetic in HOL[J]. Formal Methods in System Design, 2005, 27(1/2): 173-200. [12] GURALNIK E, AHARONI M, BIRNBAUM A J, et al. Simulation-based verification of floating-point division[J]. IEEE Transactions on Computers, 2011, 60(2): 176-188. [13] YANG Y H, YUAN Q, LIU J. A low-cost high radix floating-point square-root circuit[J]. Electronics, 2021, 10(16): 1988-2000. [14] RAVEENDRAN A, JEAN S, MERVIN J, et al. A novel parametrized fused division and square-root POSIT arithmetic architecture[C]//2020 33rd International Conference on VLSI Design and 2020 19th International Conference on Embedded Systems (VLSID), Bangalore, India, 2020: 207-212. [15] BHOYAR R, PALSODKAR P, KAKDE S. Design and implementation of goldschmidts algorithm for floating point division and square root[C]//2015 International Conference on Communications and Signal Processing (ICCSP), Melmaruvathur, India, 2015: 1588-1592. |