Comparatori e specifiche dei valori limite

Il confronto dipende dalla posizione diversa più significativa

Confrontate due vettori unsigned^{iUnsigned Interpretazione dei bit come intero non negativo. Il campo a n bit è 0–2^n−1 e può differire dalla lettura signed degli stessi bit. Approfondisci} a partire dal MSB^{iMSB Bit di peso maggiore. L’indice dipende dalla direzione dichiarata: non è necessariamente il numero più alto. Approfondisci}. Alla prima differenza, quello con 1 è maggiore. Definendo $e_i=\overline{a_i\oplus b_i}$, il confronto maggiore a quattro bit è:

$\operatorname{gt}(a,b)$ a sinistra è il risultato booleano del confronto. Una posizione bassa conta solo se tutte quelle superiori coincidono. L'uguaglianza è l'AND di tutti gli $e_i$.

Il confronto signed interpreta prima il segno

4'b1111 e 4'b0001 valgono 15 e 1 unsigned, ma −1 e 1 signed. Con segni diversi il negativo è minore. La differenza fra logic [3:0] e logic signed [3:0] riguarda l'interpretazione nelle operazioni, non la capacità di memoria.

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

Il codice assume operandi della stessa larghezza. Se differiscono, prima di un semplice cast bisogna scegliere a quale larghezza estenderli.

L'ordine delle stesse sequenze può invertirsi cambiando il contratto sul segno. Non applicate invariata ai signed la regola unsigned dal bit più alto.

Definire verbalmente i confini

In un buffer da 16 elementi, count==16 indica pieno e count<16 spazio disponibile. Con count a quattro bit, 16 non è rappresentabile e la stessa condizione full fallisce. Occorre quindi valutare insieme confronto e campo rappresentabile.

Per una soglia $T$ provate prima $T-1,T,T+1$, trattando separatamente i valori fuori campo. Costruite test che mostrino deliberatamente la differenza fra < e <=. Confrontare solo il valore dopo un wraparound unsigned non recupera il carry già perso.