Bộ so sánh và đặc tả giá trị biên

Bit khác nhau cao nhất quyết định lớn nhỏ

So sánh hai vector unsigned^{iunsigned Quy tắc diễn giải chuỗi bit là số nguyên không âm. Phạm vi n bit là 0 đến 2^n−1 và có thể khác diễn giải signed của cùng chuỗi bit. Tìm hiểu thêm} từ MSB^{iMSB Bit có trọng số lớn nhất. Số chỉ mục tùy hướng khai báo vector, nên không luôn là số chỉ mục lớn nhất. Tìm hiểu thêm} để tìm bit khác đầu tiên; bên có 1 tại đó lớn hơn. Đặt $e_i=\overline{a_i\oplus b_i}$, điều kiện lớn hơn bốn bit là:

$\operatorname{gt}(a,b)$ bên trái là giá trị Boolean của phép so sánh. Chỉ khi các bit cao đều bằng nhau thì bit thấp mới ảnh hưởng kết quả. So sánh bằng là AND mọi $e_i$.

So sánh signed diễn giải dấu trước

4'b1111 và 4'b0001 là 15 và 1 theo unsigned, nhưng -1 và 1 theo signed. Khác dấu thì số âm nhỏ hơn. Khác biệt giữa logic [3:0] và logic signed [3:0] nằm ở cách diễn giải khi tính, không ở dung lượng lưu.

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

Đoạn mã này dùng hai toán hạng cùng độ rộng. Nếu khác độ rộng, phải quyết định mở rộng tới đâu trước khi chỉ ép kiểu đơn giản.

Cùng hai chuỗi bit nhưng quy ước dấu khác có thể đảo thứ tự lớn nhỏ. Không áp dụng nguyên quy tắc unsigned từ bit cao cho giá trị signed.

Cố định điều kiện biên bằng lời rõ ràng

Bộ đệm chứa 16 mục thì count==16 là full, count<16 còn chỗ. Nếu count chỉ bốn bit, không biểu diễn được 16 và điều kiện full tự nó thất bại. Vì thế cần rà soát cả chức năng so sánh lẫn phạm vi biểu diễn đối tượng.

Với ngưỡng $T$, ưu tiên kiểm tra $T-1,T,T+1$, nhưng xử lý riêng giá trị ngoài phạm vi. Cố ý tạo kiểm tra phân biệt < và <=. Chỉ so sánh giá trị sau unsigned wraparound không thể phục hồi carry đã mất.