Intelligent verification
बुद्धिमान परीक्षण-पीठ स्वचालन सहित बुद्धिमान सत्यापन, इलेक्ट्रॉनिक हार्डवेयर डिजाइनों के कार्यात्मक सत्यापन का एक रूप है जिसका उपयोग यह सत्यापित करने के लिए किया जाता है कि एक डिजाइन उपकरण निर्माण से पहले विनिर्देश के अनुरूप है। बुद्धिमान सत्यापन हार्डवेयर आई. पी. में और उनके बीच की त्रुटियों को उजागर करने के लिए डिजाइन और विनिर्देशों से प्राप्त जानकारी का उपयोग करता है। बुद्धिमान सत्यापन उपकरणों को सत्यापन परिणामों को प्राप्त करने के लिए काफी कम इंजीनियरिंग प्रयास और उपयोगकर्ता मार्गदर्शन की आवश्यकता होती है जो एक टेस्टबेंच कार्यक्रम लिखने के मानक दृष्टिकोण को पूरा करते हैं या उससे अधिक होते हैं। बुद्धिमान सत्यापन उपकरणों की पहली पीढ़ी ने सत्यापन प्रक्रिया के एक हिस्से को अनुकूलित किया जिसे स्वचालित कवरेज फीडबैक नामक सुविधा के साथ प्रतिगमन परीक्षण के रूप में जाना जाता है। स्वचालित कवरेज प्रतिक्रिया के साथ, परीक्षण विवरण स्वचालित रूप से लक्ष्य डिजाइन कार्यक्षमता के लिए समायोजित किया जाता है जिसे अन्य परीक्षणों द्वारा पहले सत्यापित (या "कवर") नहीं किया गया है। स्वचालित कवरेज प्रतिक्रिया का एक प्रमुख गुण यह है कि, एक ही परीक्षण वातावरण को देखते हुए, सॉफ्टवेयर स्वचालित रूप से डिजाइन में परिवर्तन के जवाब में कार्यात्मक डिजाइन कवरेज में सुधार करने के लिए परीक्षणों को बदल देगा। नए बुद्धिमान सत्यापन उपकरण एक एकल, कॉम्पैक्ट, उच्च-स्तरीय मॉडल से एक टेस्टबेंच (प्रोत्साहन, कवरेज और जाँच) से अपेक्षित आवश्यक कार्यों को प्राप्त करने में सक्षम हैं। एकल मॉडल का उपयोग करना जो मूल विनिर्देश का प्रतिनिधित्व करता है और उससे मिलता-जुलता है, टेस्टबेंच विकास प्रक्रिया में मानव त्रुटि की संभावना को बहुत कम कर देता है जिससे चूक और गलत विफलता दोनों हो सकते हैं। बुद्धिमान सत्यापन के अन्य गुणों में शामिल हो सकते हैंः एक टेस्टबेंच कार्यक्रम के बराबर या उससे अधिक सत्यापन परिणाम प्रदान करना, लेकिन एक कॉम्पैक्ट उच्च-स्तरीय मॉडल द्वारा संचालित, टेस्टबेंच कार्यक्रमों पर निर्भरता को कम करने के लिए अनुकरण के सभी स्तरों पर प्रयोज्यता प्रोग्रामिंग त्रुटियों और विनिर्देश की अलग-अलग व्याख्याओं के अवसरों को समाप्त करना, विशेष रूप से। आई. पी. और एस. ओ. सी. टीमों के बीच निर्देश प्रदान करना कि कुछ कवरेज बिंदुओं का पता क्यों नहीं चला। नए परीक्षण बनाने के लिए डिज़ाइन संरचना के माध्यम से कवरेज बिंदुओं तक स्वचालित रूप से मार्गों पर नज़र रखें। यह सुनिश्चित करना कि डिजाइन के विभिन्न पहलुओं को एक ही परीक्षण सेट में केवल एक बार सत्यापित किया जाता है। एक प्रणाली के विभिन्न हार्डवेयर और सॉफ्टवेयर विन्यास के लिए स्वचालित रूप से परीक्षण को स्केल करना। एक ही उपकरण में आधारित सीमित यादृच्छिक, निर्देशित, ग्राफ-आधारित, उपयोग-मामले जैसी विभिन्न सत्यापन पद्धतियों के लिए समर्थन। "बुद्धिमान सत्यापन" मौजूदा लॉजिक सिमुलेशन टेस्टबेंच का उपयोग करता है, और स्वचालित रूप से निम्नलिखित प्रकार के डिज़ाइन कवरेज को लक्षित और अधिकतम करता हैः कोड कवरेज शाखा कवरेज अभिव्यक्ति कवरेज कार्यात्मक कवरेज कथन कवरेज इतिहास यह विश्वास हासिल करना कि एक डिज़ाइन कार्यात्मक रूप से सही है, अधिक कठिन होता जा रहा है। इन समस्याओं का मुकाबला करने के लिए, 1980 के दशक के अंत में फास्ट लॉजिक सिमुलेटर और वेरिलॉग और वीएचडीएल जैसी विशेष हार्डवेयर विवरण भाषाएं लोकप्रिय हो गईं। 1990 के दशक में, सत्यापन की गुणवत्ता और समय में और सुधार करने के लिए वेरा और ई जैसी हार्डवेयर सत्यापन भाषाओं के साथ-साथ सिस्टम वेरिलॉग (2002 में) का उपयोग करके सीमित यादृच्छिक अनुकरण पद्धतियां उभरीं। बुद्धिमान सत्यापन दृष्टिकोण सीमित यादृच्छिक अनुकरण पद्धतियों के पूरक हैं, जो डिजाइन संरचना के बजाय बाहरी इनपुट पर परीक्षण पीढ़ी को आधार बनाते हैं। बुद्धिमान सत्यापन का उद्देश्य अनुकरण के दौरान डिज़ाइन ज्ञान का स्वचालित रूप से उपयोग करना है, जो पिछले दशक में डिज़ाइन के आकार और जटिलता में वृद्धि के कारण तेजी से महत्वपूर्ण हो गया है, और एक डिज़ाइन बनाने वाली इंजीनियरिंग टीम और उसके सही संचालन को सत्यापित करने वाली टीम के बीच एक अलगाव है। बुद्धिमान सत्यापन क्षेत्र में पर्याप्त शोध किया गया है, और इस तकनीक का लाभ उठाने वाले वाणिज्यिक उपकरण अभी उभरने लगे हैं। यह भी देखें कि औपचारिक सत्यापन कार्यात्मक सत्यापन विक्रेता बुद्धिमान सत्यापन लॉजिक रिफाइनरी, इंक. मेंटर ग्राफिक्स सारांश (न्यूसिम का अधिग्रहण) ब्रेकर स्प्रिंगसॉफ्ट (प्रमाणपत्र का अधिग्रहण) वाल्ट्रिक्स सिस्टम फुटनोट्स संदर्भ "मेंटर 'बुद्धिमान' टेस्टबेंच उत्पादन उपकरण प्रदान करता है", एसडीसीसोर्स, फरवरी 18,2008। "नुसिम बुद्धिमान सत्यापन पर केंद्रित है" ईटाइम्स, मई 2008। "लिफ्टिंग द फॉग ऑन इंटेलीजेंट वेरिफिकेशन", एससीडीसोर्स, मई 2008। इलेक्ट्रॉनिक परिपथ सत्यापन