2023 पूर्वव्यापी। सत्यापन में नवाचार - सेमीविकी

प्लेटो द्वारा पुनर्प्रकाशित

अनुयायियों: 0

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

2023 पूर्वव्यापी

2023 की पसंद

ये वे ब्लॉग हैं जिन्हें हमने लोकप्रियता के आधार पर साल भर पोस्ट किया। हमने प्रति ब्लॉग औसतन 12.7 हजार सहभागिताएं हासिल कीं, जो पिछले वर्ष की तुलना में एक सार्थक वृद्धि है, जिसे हम एक संकेत के रूप में लेते हैं कि आप सत्यापन में वर्तमान शोध की हमारी समीक्षाओं का आनंद लेना जारी रखेंगे। नेता को कोई आश्चर्य नहीं हुआ, उन्होंने लगभग 17 हजार संलग्नकों पर स्वचालित कोड समीक्षा के लिए एलएलएम लागू किया। मॉडल एब्स्ट्रैक्शन विकसित करने के लिए एक करीबी दूसरा एमएल का उपयोग करता है। वास्तव में 4 में शीर्ष 2023 ब्लॉग एआई/एमएल के अनुप्रयोगों पर थे। तेजी से विकसित हो रहे DRAM प्रोटोकॉल को मान्य करने के लिए पेट्री नेट इस साल फिर से यहां उपस्थित हुआ। सिमुलेशन में अटकलों के लिए समर्पित हार्डवेयर का उपयोग करना, और विसंगतियों को खोजने की एक विधि को सूची में शामिल करना। 2022 के लिए पूर्वव्यापी प्रभाव हमेशा की तरह अच्छा रहा, लेकिन वर्ष के दौरान अन्य पत्रों में रुचि के कारण इस पर ग्रहण लग गया। यह एक सुरक्षित शर्त है कि हम 2024 में एआई/एमएल के और अधिक अनुप्रयोगों पर विचार करेंगे!

पॉल की राय

एक और साल बीत गया, और नवंबर 49 में ब्लॉग शुरू करने के बाद से 2019 पेपर पढ़े गए! उस समय हम सोच रहे थे कि यह हमारे सत्यापन समुदाय को एक साथ लाने और दुनिया भर के शैक्षणिक संस्थानों में सत्यापन अनुसंधान में निरंतर निवेश के लिए हमारी सराहना दिखाने का एक शानदार तरीका होगा।

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

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

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

राउल की राय

छुट्टियों के दौरान इस पूर्वव्यापी लेखन को अनिवार्य रूप से मानव जाति की आवश्यकताओं में से एक के साथ टकराया जाता है जिसे एक कला तक बढ़ाया जा सकता है: खाना। रेस्तरां की समीक्षा शायद ★★★ असाधारण, एक विशेष यात्रा के लायक, ★★ उत्कृष्ट, एक चक्कर लगाने लायक, ★ उच्च गुणवत्ता, रुकने लायक, और 😋 मध्यम कीमतों पर असाधारण रूप से अच्छी जैसी रेटिंग को उचित ठहराने के लिए समीक्षा पत्रों के साथ पर्याप्त रूप से साझा करती है। पॉल ने पहले ही कहा था कि हमारा सितम्बर समीक्षा एक था "मिशेलिन स्टार विषय”। प्रिय पाठकों, आपकी प्राथमिकताओं (विचारों की संख्या) को मापदण्ड के रूप में उपयोग करते हुए, मैं इस क्रम को जारी रखूंगा।

जबकि पिछले साल का ब्लॉग काफी हद तक शानदार एल्गोरिदम के बारे में था, इस साल का था ऐ / एमएल और सॉफ्टवेयर (SW). शीर्ष तीन ★★★ पेपर AI/ML का उपयोग करके SW के सत्यापन के बारे में थे। टॉप रेटेड ब्लॉग (जुलाई) जेनरेटिव एआई के साथ कोड समीक्षा के बारे में था, दूसरा (नवंबर) सरोगेट एआई मॉडल का उपयोग करके साइबर-भौतिक प्रणालियों के लिए एसडब्ल्यू का परीक्षण और सत्यापन करने से संबंधित है, और तीसरा (मई) एआई क्लासिफायर के साथ जावा संवर्द्धन में बग का पता लगाने और उन्हें ठीक करने के बारे में था। इन तीन में से दो पेपर प्रशिक्षण के लिए GitHub के बड़े डेटासेट का उपयोग करते हैं। ऐसा डेटा हार्डवेयर (HW) डिज़ाइन के लिए सार्वजनिक रूप से उपलब्ध नहीं है; जो यकीनन SW से इतना अलग है कि कम से कम यह सवाल उठता है कि क्या इन परिणामों को HW के लिए दोहराया जा सकता है/जाएगा। फिर भी, सत्यापन के बारे में एसडब्ल्यू समुदाय जो कर रहा है उसे देखना निश्चित रूप से प्रेरणा का स्रोत है।

अगले तीन पेपर, ★★ के साथ रैंक किए गए, एआई/एमएल, एक बहुत अच्छा एल्गोरिदम और पेट्री-नेट्स का एक उदार संग्रह हैं। सभी ईडीए में सत्यापन से संबंधित हैं। सितंबर का पेपर अंग्रेजी को सिस्टम वेरिलॉग एसेर्शन (एसवीए) में अनुवाद करने के लिए एलएलएम (जीपीटी-4) और एक मॉडल चेकर (जैस्परगोल्ड) का उपयोग करने पर एक पूर्वावलोकन था। अगला (जून) नियंत्रित यादृच्छिक सत्यापन के लिए समाधान स्थान का नमूना लेने का तरीका बताया समान रूप से (बाधाओं को पूरा करना) - एक कठिन समस्या के लिए एक अच्छा एल्गोरिदम, 2014 से। इस समूह में अंतिम योगदान (अप्रैल) जेईडीईसी डीडीआर विनिर्देशों के सत्यापन के लिए विस्तारित पेट्री नेट; यह जेईडीईसी स्पेक्स और पेट्री नेट दोनों पर शैक्षिक है, और एक समय उल्लंघन को उजागर करता है।

पेपर 7-9, ★ के साथ रैंक किए गए, एनालॉग डिज़ाइन सत्यापन, सीपीयू सत्यापन और समानांतर एसडब्ल्यू निष्पादन से संबंधित हैं। में अक्टूबर हमने सॉलिड-स्टेट सर्किट सोसाइटी के आईईईई ओपन जर्नल में एक आमंत्रित पेपर की समीक्षा की, एनालॉग डिजाइन और सत्यापन पर एक अच्छा ट्यूटोरियल होने के अलावा, मुख्य योगदान में परिमाण के 4 आदेशों द्वारा स्पाइस सिमुलेशन में तेजी लाने के लिए कार्यात्मक मॉडल द्वारा एनालॉग सर्किट मॉडल को प्रतिस्थापित करना शामिल है। . फरवरी का पेपर सीपीयू सत्यापन में यादृच्छिक निर्देश जेनरेटर को बेहतर बनाने के लिए डीएनएन का उपयोग करने के बारे में था, जो "की कमी दर्शाता है"2 या उससे अधिक के कारक द्वारा सिमुलेशन की संख्या” एक सरल उदाहरण में (आईबीएम नॉर्थस्टार, 5 निर्देश)। मार्च को कार्यान्वित करने के लिए हमारे लिए HW त्वरक का पूरा डिज़ाइन लाया स्थानिक रूप से स्थित आदेशित कार्य (एसएलओटी) निष्पादन मॉडल समानता और अटकलों का फायदा उठाने के लिए, और उन अनुप्रयोगों के लिए जो रनटाइम पर गतिशील रूप से कार्य उत्पन्न करते हैं।

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

रेटिंग कभी-कभी मनमानी हो सकती है, ये सभी योगदान स्टार योग्य हैं और कला की स्थिति को आगे बढ़ाते हैं। हम वास्तव में कठिन समस्याओं से निपटने के लिए शिक्षा और उद्योग में एक सक्रिय, अंतर्राष्ट्रीय अनुसंधान समुदाय के लिए आभारी हो सकते हैं। मेरी व्यक्तिगत प्राथमिकताओं के अनुसार, आप अनुमान लगा सकते हैं...

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