तुलनित्र और सीमांत मानों का विनिर्देश

परिमाण की तुलना सर्वोच्च भिन्न बिट से तय होती है

दो unsigned^{iunsigned बिट अनुक्रम को गैर-ऋणात्मक पूर्णांक मानने का नियम। n बिट की सीमा 0 से 2^n−1 है और वही बिट signed व्याख्या में अलग मान दे सकते हैं। विस्तार से पढ़ें} वेक्टरों को MSB^{iMSB सबसे अधिक स्थानिक भार वाला बिट। उसका इंडेक्स वेक्टर की घोषणा की दिशा पर निर्भर है; उसे हमेशा सबसे बड़ा इंडेक्स न मानें। विस्तार से पढ़ें} से पढ़कर पहला भिन्न बिट खोजें। वहाँ जिसका बिट 1 है, वह बड़ा है। $e_i=\overline{a_i\oplus b_i}$ रखने पर चार-बिट greater-than शर्त यह है।

बाईं ओर $\operatorname{gt}(a,b)$ तुलना का बूलियन परिणाम है। निचले बिट की तुलना तभी असर करती है जब सभी ऊपरी बिट समान हों। समानता सभी $e_i$ का AND है।

signed तुलना पहले चिह्न समझती है

4'b1111 और 4'b0001 unsigned में 15 और 1, लेकिन signed में −1 और 1 हैं। चिह्न अलग हों तो ऋणात्मक मान छोटा है। logic [3:0] और logic signed [3:0] का अंतर संग्रहण क्षमता नहीं, संक्रिया में प्रयुक्त व्याख्या है।

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

इस कोड में दोनों संकार्यों की चौड़ाई समान है। चौड़ाई अलग हो तो केवल cast लगाने से पहले तय करें कि किस चौड़ाई तक विस्तार होगा।

उन्हीं दो बिट अनुक्रमों का क्रम अलग चिह्न अनुबंध से उलट सकता है। unsigned का सर्वोच्च बिट से तुलना वाला नियम signed मान पर सीधे न लगाएँ।

सीमा शर्तें स्पष्ट वाक्य में लिखें

16 वस्तुओं वाले बफ़र में count==16 का अर्थ full और count<16 का अर्थ और जगह होना है। count चार बिट हो तो 16 दर्शा ही नहीं सकता, इसलिए full शर्त विफल होगी। तुलना का कार्य और तुलना किए जा रहे मान की निरूपण सीमा साथ जाँचने का यही कारण है।

दहलीज़ $T$ हो तो पहले $T-1,T,T+1$ जाँचें; निरूपण सीमा से बाहर के मान अलग संभालें। ऐसे परीक्षण बनाएँ जो < और <= का अंतर स्पष्ट करें। unsigned wraparound के बाद केवल बचे मान की तुलना से खोया carry वापस नहीं मिलता।