तेज़ डिज़ाइन सत्यापन समापन प्राप्त करना

तेज़ डिज़ाइन सत्यापन समापन प्राप्त करना

समय टिकट: 1 फरवरी, 2023 अपराह्न 1:00 बजे
स्रोत नोड: 1934272

बड़ी चिप डिजाइन परियोजनाओं पर तर्क सत्यापन प्रयास डिजाइन प्रयास से बड़ा हो सकता है, डेटा के आधार पर परियोजना समय का 70% तक ले सकता है। 2022 विल्सन रिसर्च ग्रुप जाँच - परिणाम। अफसोस की बात है कि पिछले 31 वर्षों में पहली सिलिकॉन सफलता दर 24 प्रतिशत से घटकर सिर्फ 8 प्रतिशत रह गई है, जिससे खामियों को दूर करने के लिए एक और स्पिन पैदा हुई है, जिससे कंपनियों को बाजार में समय गंवाना पड़ा और निश्चित रूप से उनकी राजस्व योजनाओं को नुकसान पहुंचा। बेहतर सत्यापन निश्चित रूप से पहली सिलिकॉन सफलता में सुधार करेगा, लेकिन ऐसा करना आसान है।

विल्सन रिसर्च ग्रुप के अध्ययन से कुछ अन्य गंभीर संख्याएँ:

  • ASIC - 24% पहली बार सफलता, 36% समय पर समाप्त
  • FPGA - 16% शून्य बग एस्केप प्राप्त करते हैं, 30% समय पर समाप्त होते हैं

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

मुझे हाल ही में सीमेंस ईडीए में डिज़ाइन सत्यापन विशेषज्ञ डैरॉन मे से एक अपडेट मिला है, जिसे अभी-अभी घोषित, कॉल किया गया है क्वेस्टा सत्यापन आईक्यू. उनका दृष्टिकोण एआई / एमएल द्वारा संचालित ट्रैसेबिलिटी, सहयोग और एनालिटिक्स का उपयोग करके गठित डेटा-संचालित सत्यापन के बारे में है। पारंपरिक एनालिटिक्स ने तार्किक व्यवहार का वर्णन और निदान करने में सीमित उत्पादकता और अंतर्दृष्टि प्रदान की, जबकि एआई/एमएल का उपयोग करने वाले बड़े डेटा-संचालित एनालिटिक्स सत्यापन के लिए भविष्य कहनेवाला और निर्देशात्मक क्रियाएं प्रदान करते हैं। सॉफ़्टवेयर और हार्डवेयर टीमें किसके उपयोग के माध्यम से सहयोग करके अधिक उत्पादक बन रही हैं CI (लगातार एकीकरण), चुस्त विधियों, ALM (एप्लीकेशन लाइफसाइकिल मैनेजमेंट), क्लाउड-आधारित डिजाइन, और एआई/एमएल तकनीकों को लागू करना। आईएसओ 26262 और डीओ-254 जैसे उद्योग मानकों में परिभाषित सुरक्षा के लिए महत्वपूर्ण उद्योगों को आवश्यकताओं, कार्यान्वयन और सत्यापन के बीच पता लगाने की आवश्यकता है।

यहां एक बड़ी तस्वीर है कि कैसे क्वेस्ट सत्यापन IQ विभिन्न सत्यापन इंजनों के सभी डेटा को ALM टूल के साथ डेटा-संचालित प्रवाह में जोड़ता है।

क्वेस्टा सत्यापन आईक्यू मिन
क्वेस्टा सत्यापन आईक्यू

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

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

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

मैंने डैरोन मे से कुछ स्पष्ट प्रश्न पूछे।

प्रश्न: क्या मैं किसी EDA वेंडर टूल और ALM के साथ Questa Verification IQ को मिक्स और मैच कर सकता हूँ?

A: Questa Verification IQ मानक आधारित दृष्टिकोण के माध्यम से ALM उपकरणों और इंजनों का समर्थन करता है। यह जीवनचक्र सहयोग (OSLC) के लिए ओपन सर्विसेज का उपयोग करते हुए ALM टूल के साथ इंटरफेस करता है, इसलिए डोर नेक्स्ट या सीमेंस पोलेरियन और टीमसेंटर जैसे मानक का समर्थन करने वाले किसी भी टूल का उपयोग किया जा सकता है। Questa Verification IQ द्वारा कोई भी इंजन लॉन्च किया जा सकता है और फिर से हमारे पास यूनिफाइड कवरेज इंटरऑपरेबिलिटी स्टैंडर्ड (UCIS) के माध्यम से कवरेज के लिए समर्थन है।

प्रश्न: यह दृष्टिकोण Synopsys DesignDash से कैसे तुलना करता है?

A: Synopsys DesignDash डिज़ाइन डेटा के लिए ML पर केंद्रित है जबकि Questa Verification IQ, सत्यापन समापन में तेजी लाने, टर्न-अराउंड समय को कम करने और अधिकतम प्रक्रिया दक्षता प्रदान करने के लिए ML सहित एनालिटिक्स का उपयोग करके डेटा संचालित सत्यापन पर केंद्रित है। Questa Verification IQ डेटा के केंद्रीकृत एक्सेस के साथ एक ब्राउज़र-आधारित ढांचे में टीम-आधारित सहयोगी सत्यापन प्रबंधन के लिए आवश्यक एप्लिकेशन प्रदान करता है।

प्रश्न: यह दृष्टिकोण कैडेंस वेरिसियम से कैसे तुलना करता है?

A: Cadence Verisium केवल ML असिस्टेड सत्यापन पर केंद्रित है। तुलना में सीमेंस क्वेस्टा वेरिफिकेशन आईक्यू एनालिटिक्स, सहयोग और ट्रैसेबिलिटी द्वारा संचालित संपूर्ण डेटा संचालित सत्यापन समाधान प्रदान करता है। सत्यापन प्रबंधन एक ब्राउज़र-आधारित उपकरण में प्रदान किया जाता है जिसमें सहयोग के लिए निर्मित अनुप्रयोग होते हैं। कवरेज विश्लेषक एमएल द्वारा सहायता प्राप्त विश्लेषणात्मक नेविगेशन का उपयोग करके उद्योग का पहला सहयोगी कवरेज क्लोजर टूल लाता है। प्रश्न सत्यापन IQ OSLC का उपयोग करके सीमेंस पोलेरियन के साथ इंटरफेस करता है और बिना किसी UI संदर्भ परिवर्तन के अनुप्रयोग जीवनचक्र प्रबंधन के साथ एक तंग डिजिटल थ्रेड ट्रैसेबिलिटी प्रदान करता है, जिससे हार्डवेयर सत्यापन के लिए ALM की शक्ति आती है।

सारांश

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

संबंधित ब्लॉग

इस पोस्ट को इसके माध्यम से साझा करें:

समय टिकट:

से अधिक सेमीविकी