21 / 24 · अवधारणा
स्कोरबोर्ड के साथ स्थानीय अपरिवर्तनीय शर्तें जोड़ें
स्वीकार लेनदेन से मान, क्रम, भरे स्थान और स्टॉल स्थिरता जाँचें।
पाठ पढ़ना मुफ़्त है। प्रगति सेव करने के लिए नामांकन करें।
सत्यापन को इनपुट स्वीकृति से जोड़ें
स्कोरबोर्ड हर स्वीकार इनपुट से अपेक्षित परिणाम निकालकर कतार में रखता है। आउटपुट वितरण पर सबसे पुराना अपेक्षित आइटम तुलना करें। हर पाइपलाइन रजिस्टर दोहराने के बजाय सीधे अनुबंध से गणना करने से साझा गलतियाँ घटती हैं। प्रविष्टियाँ केवल इनपुट हैंडशेक पर जोड़ें; प्रस्तुत लेकिन अस्वीकार इनपुट लंबित काम नहीं।
स्वीकार ADD इनपुट tag10:(250,10) और tag11:(3,5) में [(10,4,carry1),(11,8,carry0)] अपेक्षित है। वैध लेकिन स्टॉल आउटपुट प्रविष्टि नहीं हटाता। tag10 वितरण केवल वही प्रविष्टि हटाता है। दोहराया tag10 या 12 टैग वाला मान 8 गलत है, भले कुछ संख्याएँ मिलें। सभी संबंधित फ़्लैग और साथ के फ़ील्ड शामिल करें।
| जाँच | विफलता उदाहरण |
|---|---|
| संदर्भ कतार से आउटपुट | अंकगणित, क्रम, गलत टैग |
| Accepted-delivered=occupancy | हानि, दोहराव, नकली वितरण |
| स्टॉल पेलोड स्थिर | स्वीकृति से पहले अधिलेखन |
| भरे स्थान सीमा में | FIFO ओवरफ़्लो या अंडरफ़्लो |
| निकासी बाद खाली संदर्भ कतार | अंतिम परिणाम अनुपस्थित |
स्थानीय अपरिवर्तनीय शर्तें केवल अंतिम अंतर के बजाय पहला विफल किनारा पहचानती हैं। आंतरिक भरे स्थान FIFO count और चरण-valid बिट का योग हैं। रीसेट या फ़्लश हो तो रद्द का हिसाब जोड़ें और दोनों मॉनिटर में समान किनारा नीति रखें।
संख्यात्मक सीमा और समय मामले मिलाएँ: शून्य, अधिकतम, कैरी और बॉरो, लगातार ट्रैफ़िक, बुलबुले, लंबे स्टॉल, भरे में प्रतिस्थापन तथा अंतिम निकासी। दोहराने के लिए यादृच्छिक बीज लिखें। संभव हो तो छोटे नियंत्रण क्षेत्र पूरा परखें।
पूर्णता जाँच को प्रगति धारणा और टाइमआउट चाहिए। प्राप्तकर्ता स्थायी तैयार हो जाए तो लंबित काम निकलना चाहिए। अनिश्चित स्टॉल में संरक्षण और सीमित भरे स्थान माँगें। कैरी या टैग विलंब जानबूझकर बिगाड़ने से जाँच विफल होनी चाहिए; यह परिवर्तन परीक्षण संवेदनशीलता मापता है। Node मॉडल पास होना HDL वायरिंग, X/Z व्यवहार, क्लॉक डोमेन क्रॉसिंग या कार्यान्वयन समय नहीं जाँचता। केवल वास्तव में देखा निष्पादन दायरा बताएँ।
खुद आज़माएँ
Accepted=9 और delivered=5। FIFO count दो और दोनों चरण वैध हैं। क्या हिसाब सही है? वितरण बिना एक और इनपुट स्वीकार हो तथा भरे स्थान चार रहें तो संभवतः क्या हुआ?
व्याख्या पढ़ें
हिसाब मिलता है: 9-5=2+1+1=4। वितरण बिना अगली स्वीकृति के बाद अंतर पाँच है। चार भरे स्थान क्षमता बिना प्रवेश या अधिलेखित आइटम दर्शाते हैं। पहले विफल किनारे पर readiness देखें।