13 / 37 · जाँच
डिज़ाइन जाँच: चयन परिपथ की समतुल्यता और अवलोकन समय
केवल सत्य सारणी से पूरी होने वाली जाँच और क्लॉक अवलोकन माँगने वाली जाँच अलग करें।
पाठ पढ़ना मुफ़्त है। प्रगति सेव करने के लिए नामांकन करें।
शर्तें पढ़ें और समय क्रम बनाएँ
संयोजन आउटपुट है और sampled_y उदयी किनारेउदयी किनारा (rising edge) क्लॉक के 0 से 1 होने का क्षण। यह CLK=1 के पूरे स्तर-अंतराल से अलग है। विस्तार से पढ़ें पर y संग्रहित करता है। मानें कि पहले एक बार संग्रहित हुआ। उसके बाद दो क्लॉक एजों के बीच s को 1 करें।
प्रश्न इनपुट स्थिर होने और संयोजन विलंब बीतने के बाद, लेकिन अगली उदयी एज से पहले के मान पूछता है। कार्यात्मक सूत्र की समतुल्यता और रजिस्टररजिस्टर कई बिटों की अवस्था संग्रहित करता है। इस पाठ्यक्रम के तुल्यकालिक रजिस्टर निर्धारित इनपुट को क्लॉक एज पर संग्रहित करते हैं। विस्तार से पढ़ें का अवलोकन समय अलग सत्यापन विषय हैं।
नीचे प्रश्न की शर्तों का अवलोकन क्रम है। a=1, b=0। जिस अंतराल में संयोजन और संग्रहित आउटपुट अलग हैं, समझाएँ कि कौन सा वर्तमान इनपुट और कौन सा पिछली कैप्चर अवस्था दर्शाता है।
तरंगरूप डेटा देखें
| संकेत | तरंगरूप | बस मान |
|---|---|---|
| event | 234 | captured → sel changes → next edge |
| sel | 01. | |
| y | 10. | |
| sampled_y | 1.0 |
अतिरिक्त डिज़ाइन प्रश्न
y=(a & ~s) | (b & s)वाला परिपथ एक-बिट MUXमल्टीप्लेक्सर चयन संकेत के अनुसार कई इनपुटों में से एक को आउटपुट से जोड़ने वाला संयोजन परिपथ। चयन बिट और इनपुट संख्या का संबंध विनिर्दिष्ट करना चाहिए। विस्तार से पढ़ें के समान है, यह आठ संयोजनों से सिद्ध करें।sampled_yहटाने पर कार्यात्मक सूत्र बना रहता है, लेकिन कौन सा समय-संबंधी गुण समाप्त होता है?- s का संक्रमण उदयी एज के बहुत पास हो तो आदर्श RTL मान अकेले वास्तविक हार्डवेयर की गारंटी क्यों नहीं देता?
खुद आज़माएँ
चार-बिट MUX में केवल a=b वाले वेक्टर जाँचने से क्या उलटे चयन की गलती मिलेगी?
व्याख्या पढ़ें
नहीं। दोनों इनपुट समान हों तो किसी को चुनने का परिणाम समान है। उदाहरणतः a=0101, b=1010 रखकर s=0 और s=1 दोनों जाँचें, तभी चयन ध्रुवता और हर बिट का हस्तांतरण अलग जाँच सकते हैं।
ऊपर की शर्तों में अगली उदयी एज से ठीक पहले (y, sampled_y) क्या है?
s=1 पर y=b=0। पिछली एज पर s=0 था, इसलिए sampled_y ने a=1 रखा। अगली उदयी एज पर ही sampled_y भी 0 होगा। इसमें इनपुट setup और hold शर्तें पूरी मानते हैं।