Comparadores y especificación de los límites

La posición más alta que difiere decide el resultado

Compare dos vectores unsigned^{iunsigned Interpretación de una secuencia de bits como entero no negativo. Con n bits, el rango es de 0 a 2^n−1; puede diferir de la interpretación signed de los mismos bits. Más información} desde el MSB^{iMSB Bit de mayor peso. Su índice depende del sentido de declaración del vector; no debe suponerse que siempre tiene el número más alto. Más información}. En el primer bit distinto, el que tiene 1 es mayor. Definiendo $e_i=\overline{a_i\oplus b_i}$, en cuatro bits:

$\operatorname{gt}(a,b)$ es el resultado booleano de la comparación. Una posición inferior solo influye cuando coinciden todas las superiores. La igualdad es la AND de todos los $e_i$.

La comparación signed interpreta primero el signo

4'b1111 y 4'b0001 son 15 y 1 en unsigned, pero -1 y 1 en signed. Con signos distintos, el negativo es menor. logic [3:0] y logic signed [3:0] almacenan lo mismo; cambia la interpretación de los operadores.

logic [3:0] a, b;
logic unsigned_lt, signed_lt;
assign unsigned_lt = a < b;
assign signed_lt = $signed(a) < $signed(b);

Este código supone anchos iguales. Si difieren, decida primero a qué ancho extender antes de aplicar un cast.

El orden entre los mismos bits puede invertirse según el contrato de signo. No aplique directamente a signed la regla unsigned de comparación desde el bit superior.

Fije los límites en palabras

Un búfer de 16 elementos está lleno con count==16 y admite otro con count<16. Si count tiene cuatro bits, no representa 16 y falla la propia condición de lleno. Revise conjuntamente el comparador y el rango de sus operandos.

Para un umbral $T$, pruebe primero $T-1,T,T+1$, tratando por separado los valores fuera de rango. Diseñe pruebas que distingan deliberadamente < de <=. Comparar solo el valor posterior a un retorno modular unsigned no recupera un acarreo ya perdido.