Pembanding dan spesifikasi nilai batas

Bit berbeda dengan bobot tertinggi menentukan urutan

Bandingkan dua vektor unsigned^{iUnsigned Interpretasi pola bit sebagai bilangan bulat nonnegatif. Rentang n bit adalah 0 hingga 2^n−1 dan dapat berbeda dari interpretasi signed pola yang sama. Selengkapnya} dari MSB^{iMSB Bit berbobot tertinggi. Indeksnya bergantung arah deklarasi vektor, sehingga tidak selalu nomor indeks terbesar. Selengkapnya} hingga menemukan bit pertama yang berbeda. Sisi bernilai 1 pada posisi itu lebih besar. Dengan $e_i=\overline{a_i\oplus b_i}$, syarat lebih besar pada empat bit adalah:

$\operatorname{gt}(a,b)$ di kiri adalah hasil Boolean perbandingan. Posisi rendah hanya berpengaruh jika semua posisi lebih tinggi sama. Kesamaan keseluruhan adalah AND seluruh $e_i$.

Perbandingan signed menafsirkan tanda dahulu

4'b1111 dan 4'b0001 bernilai 15 dan 1 sebagai unsigned, tetapi -1 dan 1 sebagai signed. Jika tandanya berbeda, nilai negatif lebih kecil. Perbedaan logic [3:0] dan logic signed [3:0] adalah interpretasi operasi, bukan kapasitas penyimpanan.

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

Kode ini memakai operand selebar sama. Jika lebarnya berbeda, tentukan dahulu lebar perluasan sebelum melakukan cast sederhana.

Kontrak tanda dapat membalik urutan pola bit yang sama. Jangan langsung menerapkan aturan unsigned dari bit tinggi pada nilai signed.

Tetapkan batas dengan kalimat yang tegas

Pada buffer berkapasitas 16 elemen, count==16 berarti penuh dan count<16 mengizinkan penambahan. Jika count hanya empat bit, 16 tidak dapat direpresentasikan sehingga kondisi full gagal. Periksa fungsi pembanding bersama rentang nilai yang dibandingkan.

Untuk ambang $T$, utamakan pengujian $T-1,T,T+1$ dan tangani nilai di luar rentang secara terpisah. Buat pengujian yang sengaja membedakan < dan <=. Membandingkan nilai setelah wraparound unsigned tidak dapat memulihkan carry yang sudah hilang.