跳至主要內容

Altifigence Academy

15 / 36 · 概念

比較器與邊界條件

將相等與大小比較連結至邊界測試。

學習目標

將相等與大小比較連結至邊界測試。

從規格選擇條件

a==b 檢查相等，a<b 檢查大小。計數器上限要用 count==limit 或 count>=limit，須依規格決定。若更新可能跳過上限，只檢查相等就可能漏掉停止條件，應一起檢查更新規則及輸入範圍。

統一寬度與有號性

1111 與 0001 當無號數比較為 15>1，當有號數為 −1<1。測試零對零、相同最大值、相鄰值及符號邊界兩側。本課只假設 0/1 輸入，不討論 X/Z 的四態比較。

自己試試看

從 0 每次加 2，limit=3，用相等能可靠停止嗎？

查看解說

序列 0,2,4 會跳過 3。若規格是到達或超過上限即停止，須考慮 >= 及允許範圍。