Universal Verification Methodology
सार्वभौमिक सत्यापन पद्धति (यू. वी. एम.) एकीकृत परिपथ डिजाइनों को सत्यापित करने के लिए एक मानकीकृत पद्धति है। यू. वी. एम. मुख्य रूप से ओ. वी. एम. (ओपन वेरिफिकेशन मेथडोलॉजी) से लिया गया है, जो 2001 में वेरीसिटी डिजाइन द्वारा विकसित ई-वेरिफिकेशन भाषा के लिए ई. आर. एम. (ई. रीयूज मेथडोलॉजी) पर आधारित था। यूवीएम क्लास लाइब्रेरी सिस्टम वेरिलॉग भाषा में बहुत अधिक स्वचालन लाती है जैसे कि अनुक्रम और डेटा स्वचालन सुविधाएँ (पैकिंग, प्रतिलिपि, तुलना) आदि, और सिम्युलेटर विक्रेताओं द्वारा स्वतंत्र रूप से विकसित पिछली पद्धतियों के विपरीत, कई विक्रेताओं के समर्थन के साथ एक एक्सेलेरा मानक हैः एल्डेक, कैडेन्स, मेंटर ग्राफिक्स, सारांश, ज़िलिंक्स सिम्युलेटर (एक्सएसआईएम)। दिसंबर 2009 में, इलेक्ट्रॉनिक डिजाइन स्वचालन (ईडीए) उद्योग में एक मानक संगठन-एक्सेलेरा की एक तकनीकी उपसमिति ने यूवीएम स्थापित करने के लिए मतदान किया और इस नए मानक को ओपन वेरिफिकेशन मेथोडोलॉजी (OVM-2.1.1) पर आधारित करने का निर्णय लिया, जो 2007 में कैडेन्स डिजाइन सिस्टम और मेंटर ग्राफिक्स द्वारा संयुक्त रूप से विकसित एक सत्यापन पद्धति है। 21 फरवरी, 2011 को, एक्सेलेरा ने यूवीएम के 1 संस्करण को मंजूरी दी। यू. वी. एम. 1 में एक संदर्भ मार्गदर्शिका, एक सिस्टम वेरिलॉग आधार वर्ग पुस्तकालय के रूप में एक संदर्भ कार्यान्वयन और एक उपयोगकर्ता मार्गदर्शिका शामिल है। कारखाना वस्तु-उन्मुख प्रोग्रामिंग में एक आम तौर पर उपयोग की जाने वाली अवधारणा है। यह एक ऐसी वस्तु है जिसका उपयोग अन्य वस्तुओं को तत्काल करने के लिए किया जाता है। यूवीएम कारखाने में किसी वस्तु को पंजीकृत करने के दो तरीके हैं। वर्ग ए की घोषणा में, कोई भी 'यूवीएम _ ऑब्जेक्ट _ यूटिल्स (ए) या' यूवीएम _ कॉम्पोनेन्ट _ यूटिल्स (ए) पंजीकरण मैक्रोज़ का आह्वान कर सकता है। अन्यथा, 'यूवीएम _ ऑब्जेक्ट _ रजिस्ट्री (ए, बी) या' यूवीएम _ कॉम्पोनेन्ट _ रजिस्ट्री (ए, बी) मैक्रोज़ का उपयोग स्ट्रिंग बी को क्लास टाइप ए में मैप करने के लिए किया जा सकता है। यू. वी. एम. कारखाना विभिन्न प्रकार के निर्माण विधियाँ प्रदान करता है जो उपयोगकर्ता को एक विशेष उदाहरण नाम और एक पंजीकृत प्रकार के साथ एक वस्तु को तत्काल करने की अनुमति देता है। सीक्वेंसर तीन मुख्य कार्यों के लिए जिम्मेदार हैः डी. यू. वी. (डिज़ाइन अंडर वेरिफिकेशन) और सत्यापन वातावरण को एक प्रारंभिक अवस्था में रखें सत्यापन वातावरण और डी. यू. वी. को कॉन्फ़िगर करना पूरे डी. यू. वी. परिदृश्य पीढ़ी आरंभीकरण इस चरण में डी. यू. टी. (डिवाइस अंडर टेस्ट) और जिस वातावरण में यह है, उसे अनुकरण से पहले वांछित शर्तों पर सेट किया जाना चाहिए। संभवतः, इसमें शामिल हैंः किसी भी प्रकार की आवश्यक प्रारंभिक स्थितियों के साथ स्मृति को लोड करना, डीयूटी पर पिन सेटिंग्स, जैसे कि शक्ति और उच्च प्रतिबाधा रजिस्टर सेटिंग्स जिन्हें अनुकरण के दौरान बदला नहीं जा सकता है जैसे कि मोड बिट्स या यदि पर्यावरण का हिस्सा सत्यापन घटक सेटिंग्स जिन्हें अनुकरण के दौरान बदला नहीं जा सकता है स्कोरबोर्ड विवरण एक स्कोरबोर्ड को विभिन्न तरीकों से लागू किया जा सकता है। आम तौर पर, एक स्कोरबोर्ड डी. यू. टी. से इनपुट और आउटपुट लेता है, यह निर्धारित करता है कि इनपुट-आउटपुट संबंध क्या होना चाहिए, और यह निर्धारित करता है कि क्या डी. यू. टी. विनिर्देश का पालन करता है। यह इनपुट-आउटपुट संबंध अक्सर एक मॉडल द्वारा निर्दिष्ट किया जाता है, जिसे प्रेडिक्टर कहा जाता है। प्रेडिक्टर को सिस्टमसी जैसी उच्च-स्तरीय प्रोग्रामिंग भाषा में लागू किया जा सकता है। कार्यान्वयन विवरण यूवीएम स्कोरबोर्ड वर्गों को यूवीएम _ स्कोरबोर्ड वर्ग के उपवर्गों के रूप में लागू किया जाता है, जो स्वयं यूवीएम _ घटक का एक उपवर्ग है। यूवीएम _ स्कोरबोर्ड एक स्कोरबोर्ड को लागू करने के लिए एक खाली स्लेट है। इसमें केवल एक वर्ग विधि है, अर्थात् "नई" निर्माण विधि। बाकी कार्यान्वयन उपयोगकर्ता-परिभाषित है। अभिकर्ता विवरण आधुनिक वी. एल. एस. आई. में, एक डी. यू. टी. में कई इंटरफेस हो सकते हैं। इनमें से प्रत्येक इंटरफेस में उनसे जुड़ी अलग-अलग यूवीएम वस्तुएं हो सकती हैं। उदाहरण के लिए, यदि DUT पूर्ण-चिप है, तो PCI, ईथरनेट और अन्य संचार मानकों के लिए अलग-अलग इंटरफेस हो सकते हैं। पीसीआई इंटरफेस के लिए स्कोरबोर्ड और मॉनिटर ईथरनेट इंटरफेस के लिए अलग होंगे। विभिन्न यू. वी. एम. वस्तुओं को एक आवरण वर्ग के सदस्यों के रूप में व्यवस्थित किया जा सकता है जिसे एक एजेंट के रूप में जाना जाता है। निष्क्रिय एजेंट केवल इंटरफेस के पोर्ट मूल्यों का विश्लेषण करेंगे और इसमें एक मॉनिटर सदस्य होना चाहिए। सक्रिय एजेंट बंदरगाहों को चलाएंगे और इसमें एक चालक सदस्य होना चाहिए, शायद एक मॉनिटर सदस्य के अलावा। कार्यान्वयन विवरण यूवीएम एजेंट वर्गों को यूवीएम _ एजेंट वर्ग के उपवर्गों के रूप में लागू किया जाता है, जो स्वयं यूवीएम _ घटक का एक उपवर्ग है। बहुत हद तक यूवीएम _ स्कोरबोर्ड की तरह, यूवीएम _ एजेंट वर्ग विधियों के मामले में हल्का है। इसकी एकमात्र वर्ग विधियाँ "नया" निर्माणकर्ता और "गेट _ इज _ एक्टिव" विधि हैं। यदि एजेंट का उपयोग बंदरगाहों को चलाने के लिए किया जा रहा है, तो गेट _ इज _ एक्टिव यूवीएम _ एक्टिव देता है। अन्यथा, गेट _ इज _ एक्टिव यूवीएम _ पासिव देता है। चालक विवरण एक परीक्षण के लिए अनुक्रम वस्तुओं को अमूर्त रूप से वर्णित किया गया है। उदाहरण के लिए, यदि डी. यू. टी. एक रजिस्टर फ़ाइल है, तो इसमें पढ़ने के पते और लिखने के पते के लिए पोर्ट हो सकते हैं। अनुक्रम वस्तु वस्तु में पढ़ने के पते और लिखने के पते के लिए सदस्य चर हो सकते हैं। हालाँकि, इन मूल्यों को अंततः डी. यू. टी. के इनपुट पिन पर बिट्स बनने की आवश्यकता है। डी. यू. टी. को प्रोत्साहन प्रदान करते समय एक विदेशी एन्कोडिंग का भी उपयोग किया जा सकता है जिसे बाकी एजेंट से अलग किया जाना चाहिए। चालक की जिम्मेदारी इन अनुक्रम वस्तुओं को लेना और डी. यू. टी. के बंदरगाहों को उचित प्रोत्साहन प्रदान करना है। कार्यान्वयन विवरण यू. वी. एम. चालक वर्गों को यू. वी. एम. चालक वर्ग के उपवर्गों के रूप में लागू किया जाता है, जो स्वयं यू. वी. एम. घटक का एक उपवर्ग है। परिभाषा एजेंट-एक कंटेनर जो डी. यू. टी. उपकरणों को अवरुद्ध करने का अनुकरण और सत्यापन करता है-एक इंटरफेस जो अन्य इंटरफेस से कार्यों को तब तक अवरुद्ध करता है जब तक कि यह डी. यू. टी.-परीक्षण के तहत डिवाइस, जिसे आप वास्तव में डी. यू. वी.-सत्यापन घटक के तहत डिवाइस का परीक्षण कर रहे हैं-सत्यापन बौद्धिक संपदा का एक हिस्सा जिसमें इंटरफेस और कार्य हैं। लेन-देन कर्ता-घटक सत्यापन पर्यावरण विन्यास देखें-डी. यू. टी. और पर्यावरण में वे सेटिंग्स जो परिवर्तनशील हैं जबकि अनुकरण वी. आई. पी. चला रहा है-सत्यापन बौद्धिक संपदा यू. वी. एम. मैक्रोज़ यू. वी. एम. मैक्रोज़ संदर्भों के उपयोग की अनुमति देता है एक्सलेरा साइट डौलोज़ यू. वी. एम. सत्यापन प्राइमर एक्सलेरा यू. वी. एम.: तैयार, सेट, परिनियोजन! ई. डी. ए. खेल का मैदान-एक वेब ब्राउज़र से यू. वी. एम. सिमुलेशन चलाएँ (मुफ्त ऑनलाइन आई. डी. ई.) यू. वी. एम. 1.2 वर्ग संदर्भ यू. वी. एम. 1.2 वीडियो श्रृंखला इलेक्ट्रॉनिक डिजाइन स्वचालन में नया क्या है