Comparadores e especificação dos limites

A posição mais alta que difere decide

Compare dois vetores unsigned^{iunsigned Interpretação de uma sequência de bits como inteiro não negativo. Com n bits, o intervalo é de 0 a 2^n−1; pode diferir da interpretação signed dos mesmos bits. Saiba mais} a partir do MSB^{iMSB Bit de maior peso. Seu índice depende do sentido de declaração do vetor; não se deve supor que sempre tenha o maior número. Saiba mais}. No primeiro bit diferente, o que tem 1 é maior. Definindo $e_i=\overline{a_i\oplus b_i}$, em quatro bits:

$\operatorname{gt}(a,b)$ é o resultado booleano da comparação. Uma posição inferior só influi quando todas as superiores coincidem. A igualdade é a AND de todos os $e_i$.

A comparação signed interpreta primeiro o sinal

4'b1111 e 4'b0001 são 15 e 1 em unsigned, mas -1 e 1 em signed. Com sinais diferentes, o negativo é menor. logic [3:0] e logic signed [3:0] armazenam a mesma quantidade de bits; muda a interpretação dos 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 pressupõe larguras iguais. Se forem diferentes, decida primeiro para qual largura estender antes de aplicar um cast.

A ordem entre os mesmos bits pode se inverter conforme o contrato de sinal. Não aplique diretamente a signed a regra unsigned de comparação a partir do bit superior.

Fixe os limites em palavras

Um buffer de 16 elementos está cheio com count==16 e aceita mais um com count<16. Se count tiver quatro bits, não representa 16 e a própria condição de cheio falha. Revise em conjunto o comparador e o intervalo de seus operandos.

Para um limite $T$, teste primeiro $T-1,T,T+1$, tratando separadamente os valores fora do intervalo. Projete testes que distingam deliberadamente < de <=. Comparar apenas o valor após o retorno modular unsigned não recupera um carry já perdido.