Exponential function hardware; argument range; computer arithmetic; double-precision float-point; efficient reducing; Exponential function hardware; argument range; computer arithmetic; double-precision float-point; efficient reducing;
机译:多功能双精度浮点计算的高效区域统一体系结构
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:有效的参数范围减少了双精度浮点指数函数的实现
机译:使用HOL对IEEE-754表驱动的浮点指数函数进行分层验证。
机译:基于模型的设计浮点累加器。研究案例:支持向量机内核功能的FPGA实现
机译:使用HOL验证IEEE-754浮点指数函数的综合实现
机译:等间距参数多项式的多项式和指数的有效评估