MUX सत्यापन: पूर्ण जाँच और गुण

सही होने का अर्थ क्या है

एक-बिट a, b और sel के आठ संयोजन हैं। इतने छोटे क्षेत्र में सभी जाँचना प्रभावी है। चौड़ाई W वाले MUX^{iमल्टीप्लेक्सर चयन संकेत के अनुसार कई इनपुटों में से एक को आउटपुट से जोड़ने वाला संयोजन परिपथ। चयन बिट और इनपुट संख्या का संबंध विनिर्दिष्ट करना चाहिए। विस्तार से पढ़ें} का पूरा इनपुट क्षेत्र चयन सहित $2^{2W+1}$ है; चौड़ाई थोड़ी बढ़ते ही दूसरी रणनीति चाहिए।

आउटपुट चौड़ाई W हो तो प्रत्येक बिट का चयन नियम यह है।

त्रुटि के प्रकार के अनुसार उद्दीपन चुनें

केवल बहुत परीक्षण होने से अच्छा सत्यापन नहीं होता। समझा सकें कि किस दोष को पकड़ने का प्रयास है।

इस तुलना में केवल a और b अलग होने वाले मामले हैं। हर स्तंभ एक परीक्षण वेक्टर है। गलत चयन सूत्र चारों में expected का उलटा मान देता है।

संदर्भ मॉडल कार्यान्वयन से स्वतंत्र हो

DUT का वही कोड नकल करने से वही गलती दो बार लागू हो सकती है। अपेक्षित मान विनिर्देश की सत्य सारणी^{iसत्य सारणी हर संभव इनपुट संयोजन और उसके आउटपुट की पूरी सूची। समय के साथ बदलाव अलग तरंगरूप में जाँचे जाते हैं। विस्तार से पढ़ें} या इंडेक्स चयन से बनाएँ और q के लिए पिछली कैप्चर अवस्था अलग रखें। mismatch मिले तो विफलता बनाए रखने वाला सबसे छोटा इनपुट क्रम खोजें और कारण समझाएँ।

केवल अंतिम अवस्था मिलाने के बजाय हर अवलोकन बिंदु का वास्तविक मान, अपेक्षित मान और इनपुट साथ दर्ज करें। यही “सिम्युलेशन चला” और “विनिर्देश पूरा हुआ” के बीच का प्रमाण है।