Estoy tratando de aprender las características del redondeo IEEE de la siguiente fuente En el redondeo rápido IEEE
¿Alguien puede explicar la ecuación para redondear? ¿Qué significa redondear con arreglo? ¿Y cuáles son las funciones de piso y techo? Probé IEEE 754, pero no menciona estos
"Piso" y "techo" son funciones que devuelven el valor integral siguiente o anterior a un valor flotante específico, donde "siguiente" y "anterior" se definen con referencia al infinito positivo. Por ejemplo, ⌊2.3⌋ = 2.0, mientras que ⌈2.3⌉ = 3.0. Los valores flotantes que resultan ser un valor integral no se ven afectados.
Con eso, podemos ver que "redondear" obtiene el siguiente valor integral si el componente fraccional es 0.5 o mayor, de lo contrario obtiene el valor integral anterior. RU (2.3) = 2.0, mientras que RU (2.7) = 3.0.
El "arreglo" se explica en el párrafo después de esa tabla, pero la definición es un poco erudita. En términos simples, verifica que no solo si el componente fraccional es mayor que 0.5 (G), sino que si 1) el componente integral es un número impar (L = 1) o un número par (L = 0), y 2) si el componente fraccional es exactamente igual a 0.5 (S = 0) o si es mayor que 0.5 (s = 1). En efecto, RN siempre se redondea a un número par, a menos que esté específicamente más cerca de un número impar. RN (2.5) = 2.0, RN (2.7) = 3.0, RN (3.5) = 4.0.
Bueno, al menos puedo responder a las funciones de piso y techo:
number = 3.2
floor(number) = 3
ceiling(number) = 4
number = -3.2
floor(number) = -4
ceiling(number) = -3
Lo siento por explicar esto de una manera no teórica.
Lea otras preguntas en las etiquetas verilog floating-point conversion