Newton-Raphson method; error analysis; formal verification; pipeline arithmetic; roundoff errors; Goldschmidt division algorithm; Newton-Raphson iterations; formal verification; parametric error analysis; parametric multiplicative division;
机译:跨抽象级别的验证流程,以正式规范为依据验证实现
机译:参数形式验证:机器人喷漆案例研究
机译:无乘法复数除法的FPGA实现
机译:正式验证参数乘法分部实施
机译:对数和反对数转换器的VLSI实现及其在乘法和除法中的使用。
机译:基于非参数乘法回归的非线性因果估计器
机译:正式验证蒙哥马利乘法