17 / 20 · अवधारणा
स्कोरबोर्ड और अपरिवर्तनीय शर्तें
अंतिम मैट्रिक्स के साथ पद, टैग, किनारे और आउटपुट स्थानांतरण जाँचें।
पाठ पढ़ना मुफ़्त है। प्रगति सेव करने के लिए नामांकन करें।
दो संदर्भ अलग करें
स्वतंत्र i/j/k लूप वाले सीधे गणितीय संदर्भ से चौड़े योग निकालें। अलग समय मॉडल से A दाएँ और B नीचे चलाएँ। RTL का सूचकांक सहायक गोल्डन मॉडल में नकल करने से वही दोष दोहर सकता है। तय हाथ से निकाले उदाहरण से शुरू करें, फिर दोहराए जा सकने वाले यादृच्छिक इनपुट जोड़ें।
परिणाम स्कोरबोर्ड की कुंजी job और वैश्विक आउटपुट निर्देशांक रखें। हर प्राप्त मान तुलना करें और उसकी कुंजी प्राप्त चिह्नित करें। दोहराई कुंजी दोहराव, अनपेक्षित कुंजी पता त्रुटि और न मिली अपेक्षित कुंजी अनुपस्थित परिणाम है। शून्य परिणाम भी वितरित होने चाहिए। पैड किए सीमा-बाहर निर्देशांक कभी न लिखें।
सरणी के अंदर अपरिवर्तनीय शर्तें जाँचें
हर PE ठीक [0,1,...,K−1] उपयोग करे। मिले वैध ऑपरैंड के job और k टैग समान हों। Count शून्य और K के बीच रहे। विराम किनारा ऑपरैंड, valid, टैग, संचायक और count रखे। Clear के बाद count और संचायक शून्य और कोई वैध टोकन न हो। रोका परिणाम valid सक्रिय रहते डेटा और job रखे।
| स्तर | विफलता उदाहरण | संभावित दोष |
|---|---|---|
| अंकगणित | 19 के बजाय 23 | सूचकांक, चिह्न या चौड़ाई |
| पद | [0,1,1] | दोहराया टोकन |
| समय | अंतिम PE, E2 पर पूरा | जल्दी पूर्णता |
| विराम | विराम में Count बदले | आंशिक स्थिति रोकना |
| आउटपुट | कुंजी दो बार प्राप्त | हैंडशेक नियंत्रण |
2×2 उदाहरण में अंतिम PE में E2 के बाद अठारह और E3 के बाद पचास है। E2 पर global-done का दोष संख्या और समय दोनों जाँच में विफल होना चाहिए। दूसरी ओर, समान मान वाले गुणनफल दोहराने और छोड़ने से अंतिम योग बना रह सकता है; पद ट्रैकिंग वह संयोग पकड़ती है।
यादृच्छिक बीज, मैट्रिक्स, आयाम, चौड़ाई और विराम स्थान सहेजें। पहला अलग PE, पद और भौतिक किनारा लॉग करें। जानबूझकर टैग त्रुटि स्पष्ट विफल हो, चुपचाप गायब नहीं।
E_t के बाद स्थिति संगत रूप से देखें। Node संदर्भ निष्पादन, RTL संकलन, RTL सिम्युलेशन, संश्लेषण, समय समापन, DDS परियोजना निष्पादन और बोर्ड परीक्षण अलग तथ्य स्थापित करते हैं। दिए Node प्रोग्राम अंकगणित और समयक्रम मॉडल जाँचते हैं। आगे RTL परीक्षण फ़िक्स्चर ले सकते हैं, लेकिन अपने टूल संस्करण, कमांड और लॉग रखने चाहिए।
खुद आज़माएँ
ऐसे इनपुट बनाएँ जहाँ केवल अंतिम योग जाँचने से एक दोहराया और एक छूटा पद न पकड़े।
व्याख्या पढ़ें
A पंक्ति [1,1] और B स्तंभ [5,5] सही रूप से दस जोड़ते हैं। [0,0] उपयोग करना भी दस देता है, लेकिन k0 दोहराता और k1 छोड़ता है। मान तथा सटीक [0,1] पद सूची दोनों माँगना दोष पकड़ता है।