Lyra: RISC-V प्रोसेसरों को सत्यापित करने के लिए एक जनरेटिव फ्रेमवर्क
RISC-V प्रोसेसर डिजाइनों को सत्यापित करना एक महत्वपूर्ण चुनौती है। पारंपरिक विधियाँ, जो धीमे सॉफ़्टवेयर सिमुलेशन पर निर्भर करती हैं और यादृच्छिक परीक्षण उत्तेजनाओं का उपयोग करती हैं, एक महत्वपूर्ण बोतलneck का प्रतिनिधित्व करती हैं। Lyra एक नवीन समाधान के रूप में उभरता है जो इस समस्या को जड़ से संबोधित करता है, कार्यप्रवाह में कृत्रिम बुद्धिमत्ता को सीधे एकीकृत करके। 🚀
परीक्षण उत्पन्न करने के लिए एक बुद्धिमान दृष्टिकोण
अंधे उत्परिवर्तनों या यादृच्छिक वेक्टरों पर भरोसा करने के बजाय, Lyra एक विशेषीकृत जनरेटिव मॉडल नामक LyraGen को शामिल करता है। यह मॉडल प्रोसेसर के निर्देश सेट वास्तुकला (ISA) को गहराई से समझता है। इसका मुख्य कार्य उच्च गुणवत्ता वाली, अर्थपूर्ण रूप से समृद्ध निर्देश अनुक्रम उत्पन्न करना है, जो विशेष रूप से हार्डवेयर डिजाइन के जटिल व्यवहारों और कोनों को खोजने के लिए डिज़ाइन किए गए हैं जिन्हें यादृच्छिक विधियाँ नजरअंदाज कर देती हैं।
LyraGen के प्रमुख लाभ:- RISC-V निर्देशों की अर्थव्यवस्था को समझने वाले परीक्षण उत्तेजनाएँ उत्पन्न करता है।
- हार्डवेयर के जटिल आंतरिक राज्यों को लक्षित रूप से खोजता है।
- सरल यादृच्छिकता को अर्थपूर्ण निर्देश अनुक्रमों से बदल देता है।
चिप डिजाइन को इसकी आवश्यकता है कि एक AI इसे बताए कि कौन से निर्देश निष्पादित करने के लिए रोचक हैं, न कि कीबोर्ड को यादृच्छिक रूप से हिट करें जब तक कि कुछ विफल न हो।
हार्डवेयर पर निष्पादन द्वारा विशाल त्वरण
Lyra की वास्तुकला न केवल परीक्षण उत्पन्न करने में बुद्धिमान है, बल्कि इसके निष्पादन में अत्यंत तेज़ भी है। सिस्टम एक FPGA वाले SoC के अंदर परीक्षण इकाई और एक संदर्भ मॉडल को समानांतर में लागू करता है। यह दृष्टिकोण दोनों के बीच अंतरों की तुलना हार्डवेयर गति पर करने की अनुमति देता है, जिससे स्मारकीय त्वरण प्राप्त होता है। इसके अलावा, यह वास्तविक समय में और बड़े पैमाने पर कवरेज मेट्रिक्स एकत्र करने की सुविधा प्रदान करता है, जो सॉफ़्टवेयर सिमुलेटरों के साथ निषिद्ध है।
त्वरित सत्यापन के परिणाम:- FPGA की मूल गति पर तुलना और सत्यापन निष्पादित करता है।
- व्यापक और कुशल तरीके से कवरेज डेटा एकत्र करता है।
- LyraGen की बुद्धिमान उत्पत्ति को हार्डवेयर की गति के साथ जोड़ता है।
उसकी श्रेष्ठता सिद्ध करने वाले अनुभवजन्य परिणाम
Lyra के साथ प्रयोगात्मक परीक्षण पारंपरिक सबसे उन्नत सॉफ़्टवेयर सत्यापकों पर मापनीय और पर्याप्त सुधार दिखाते हैं। सिस्टम डिज़ाइन कवरेज 1.27 गुना तक अधिक प्राप्त करता है, अधिक एज केस और महत्वपूर्ण राज्यों को खोजता है। गति के संदर्भ में, यह पूर्ण अंत-से-अंत सत्यापन प्रक्रिया को 107 से 3343 गुना तक त्वरित करता है। एक अन्य प्रमुख लाभ लगातार कम अभिसरण कठिनाई है, जो सीधे जटिल डिज़ाइन को सत्यापित करने के लिए आवश्यक कुल लागत और समय को कम करने में अनुवादित होता है। ✅