इंटेलिजेंट वेरिफिकेशन

इंटेलिजेंट टेस्टबेंच स्‍वचालन सहित इंटेलिजेंट वेरिफिकेशन (अभिज्ञ सत्यापन), इलेक्ट्रॉनिक हार्डवेयर डिज़ाइनों के कार्यात्मक सत्यापन का एक रूप है, जिसका उपयोग यह सत्यापित करने के लिए किया जाता है कि डिज़ाइन डिवाइस निर्माण से पहले विनिर्देश के अनुरूप है। इंटेलिजेंट वेरिफिकेशन हार्डवेयर इंटरनेट प्रोटोकॉल में और उसके बीच बग (त्रुटि) को प्रदर्शित करने के लिए डिज़ाइन और विनिर्देश (ओ) से प्राप्त जानकारी का उपयोग करता है। टेस्टबेंच प्रोग्राम लिखने के मानक दृष्टिकोण को पूरा करने या उससे अधिक होने वाले सत्यापन परिणामों को प्राप्त करने के लिए इंटेलिजेंट सत्यापन उपकरण को अपेक्षाकृत कम अभियांत्रिकी प्रयास और उपयोगकर्ता मार्गदर्शन की आवश्यकता होती है

इंटेलिजेंट सत्यापन उपकरणों की पहली पीढ़ी ने सत्यापन प्रक्रिया के एक हिस्से को अनुकूलित किया, जिसे प्रतिगमन परीक्षण के रूप में जाना जाता है, जिसमें स्वचालित विस्तृत सूचना फीडबैक (पुनर्निवेशन) नामक सुविधा होती है। स्वचालित विस्तृत सूचना (कवरेज) फीडबैक के साथ, परीक्षण विवरण स्वचालित रूप से नियत डिजाइन कार्यक्षमता के लिए समायोजित किया जाता है जिसे अन्य परीक्षणों के सम्मिलित परीक्षणों द्वारा पहले सत्यापित (या कवर) नहीं किया गया है। स्वचालित विस्तृत सूचना फीडबैक का एक प्रमुख गुण यह है कि समान परीक्षण वातावरण दिए जाने पर, सॉफ़्टवेयर स्वचालित रूप से डिज़ाइन में परिवर्तन के प्रतिक्रिया में कार्यात्मक डिज़ाइन विस्तृत सूचना को अधिकतम बनाने के लिए परीक्षणों को परिवर्तित कर देगा।

नए इंटेलिजेंट सत्यापन उपकरण एकल, कॉम्पैक्ट, उच्च-स्तरीय मॉडल से टेस्टबेंच (प्रोत्साहन, विस्तृत सूचना, और जाँच) की अपेक्षा करने वाले आवश्यक फंक्शनों को प्राप्त करने में सक्षम हैं। एकल मॉडल का उपयोग करना जो मूल विनिर्देश का प्रतिनिधित्व करता है और जैसा दिखता है, टेस्टबेंच विकास प्रक्रिया में मानवीय त्रुटि की संभावना को बहुत कम कर देता है जिससे दोनों बग और गलत विफलताएं हो सकती हैं।

इंटेलिजेंट सत्यापन के अन्य गुणों में सम्मिलित हो सकते हैं:


 * टेस्टबेंच प्रोग्राम के समान या उससे ऊपर के सत्यापन परिणाम प्रदान करना लेकिन कॉम्पैक्ट उच्च-स्तरीय मॉडल द्वारा संचालित
 * टेस्टबेंच प्रोग्रामों पर निर्भरता कम करने के लिए सिमुलेशन के सभी स्तरों पर प्रयोज्यता
 * प्रोग्रामिंग त्रुटियों और विशिष्टताओं की अलग-अलग व्याख्याओं के अवसरों को खत्म करना, इंटरनेट प्रोटोकॉल ​​और चिप पर सिस्टम समूहों के बीच
 * दिशा-निर्देश प्रदान करना कि कुछ कवरेज बिंदुओं का पता क्यों नहीं लगाया गया
 * स्वचालित रूप से नए परीक्षण बनाने के लिए, विस्तृत सूचना बिंदुओं के लिए डिज़ाइन संरचना के माध्यम से पथों की जानकारी करना।
 * यह सुनिश्चित करना कि डिज़ाइन के विभिन्न स्वरूपों को एक ही परीक्षण सेट में केवल एक बार सत्यापित किया जाता है।
 * सिस्टम के विभिन्न हार्डवेयर और सॉफ्टवेयर कॉन्फ़िगरेशन के लिए स्वचालित रूप से परीक्षण अनुमापन।
 * अलग-अलग सत्यापन पद्धतियों के लिए समर्थन जैसे समान उपकरण में सीमित रैंडम, निर्देशित, ग्राफ-आधारित, उपयोग-स्थिति आधारित।

इंटेलिजेंट सत्यापन सम्मिलित तर्क सिमुलेशन टेस्टबेंच का उपयोग करता है, और स्वचालित रूप से निम्न प्रकार के डिज़ाइन विस्तृत सूचना को नियोजित करता है और अधिकतम सीमा तक करता है:


 * कोड कवरेज़
 * ब्रांच विस्तृत सूचना
 * अभिव्यक्ति विस्तृत सूचना (कवरेज)
 * कार्यात्मक विस्तृत सूचना
 * अभिकथन विस्तृत सूचना

इतिहास
यह विश्वास प्राप्त करना कि कोई डिज़ाइन कार्यात्मक रूप से सही है, अधिक कठिन होता जा रहा है। इन समस्याओं के विपरीत करने के लिए, 1980 के दशक के अंत में तेज तर्क अनुकरण और विशेष हार्डवेयर विवरण भाषाएं जैसे वेरिलॉग और वीएचएसआईसी हार्डवेयर विवरण भाषा लोकप्रिय हो गईं। 1990 के दशक में, वेरा और ई (सत्यापन भाषा) साथ ही सिस्टम वेरिलोग (2002 में) जैसी हार्डवेयर सत्यापन भाषाओं का उपयोग करते हुए सत्यापन गुणवत्ता और समय को और अधिकतम बनाने के लिए सीमित रैंडम सिमुलेशन पद्धतियां प्रदर्शित हुई।

इंटेलिजेंट वेरिफिकेशन पद्धति सीमित रैंडम सिमुलेशन के तरीके को पूरक करती है, जो डिजाइन संरचना के अतिरिक्त बाहरी इनपुट पर परीक्षण उत्पादक को आधार बनाती है। इंटेलिजेंट वेरिफिकेशन का उद्देश्य सिमुलेशन के समय डिजाइन ज्ञान का स्वचालित रूप से उपयोग करना है, जो पिछले एक दशक में डिजाइन के आकार और जटिलता में वृद्धि के कारण तेजी से महत्वपूर्ण हो गया है, और अभियांत्रिकी समूह के बीच वियोजन जिसने एक डिजाइन बनाया है और समूह इसके सही संचालन की पुष्टि कर रही है।  इंटेलिजेंट सत्यापन क्षेत्र में पर्याप्त शोध किया गया है, और इस तकनीक का लाभ उठाने वाले व्यावसायिक उपकरण अभी प्रदर्शित होने लगे हैं।

यह भी देखें

 * औपचारिक सत्यापन
 * कार्यात्मक सत्यापन

इंटेलिजेंट सत्यापन की पेशकश करने वाले विक्रेता

 * तर्क परिशोधक, इंक।
 * परामर्शदाता ग्राफिक्स
 * सिनॉप्सिस (न्यूसिम का अधिग्रहण)
 * ब्रेकर
 * स्प्रिंगसॉफ्ट (सरटेस का अधिग्रहण)
 * वाल्ट्रिक्स सिस्टम्स

संदर्भ

 * "Mentor offers 'intelligent' testbench generation tool", SDCSource, Feb 18, 2008.
 * "Nusym focuses on intelligent verification" EETimes, May 2008.
 * "Lifting the Fog on Intelligent Verification", SCDSource, May 2008.