Altifigence CLI के माध्यम से Google XLS

Altifigence CLI, Linux x86_64 पर upstream Google XLS के निश्चित संस्करण वाले टूलचेन को इंस्टॉल करने और चलाने का वर्कफ़्लो देता है। यह सोर्स मॉड्यूल और किसी ऑपरेशन की पहचान करने वाले अनुरोध स्वीकार करता है, फिर इंस्टॉल किए गए टूल से परिणाम लौटाता है। इस कमांड-लाइन वर्कफ़्लो से डिज़ाइनर DSLX की जाँच कर सकते हैं, मॉड्यूल टेस्ट चला सकते हैं और चुने गए फ़ंक्शन से SystemVerilog बना सकते हैं।

दूसरा वर्कफ़्लो संगत MCP क्लाइंट को स्थानीय XLS सोर्स टूल से जोड़ता है। ये टूल साथ में मौजूद नेटिव XLS इंजन को CPU पर चलाते हैं और अनुरोध में दिया गया इनलाइन सोर्स स्वीकार करते हैं। upstream टूलचेन और स्थानीय XLS MCP वर्कफ़्लो के सेटअप चरण और अनुरोध प्रारूप अलग हैं। दोनों, Altifigence CLI की इंस्टॉलेशन के माध्यम से सोर्स पर काम करने और उसके आउटपुट की जाँच करने का ठोस तरीका देते हैं।

upstream Google XLS का निश्चित संस्करण वाला टूलचेन चलाएँ

upstream प्रक्रिया की शुरुआत टूलचेन को स्पष्ट रूप से इंस्टॉल करने से होती है। Altifigence CLI, Google XLS का निश्चित संस्करण इंस्टॉल करता है, आर्काइव सत्यापित करता है और टूल व मानक लाइब्रेरी की सूची जाँचता है। यह रिलीज़ की लाइसेंस फ़ाइलें बनाए रखता है और जाँच सफल होने पर टूलचेन कॉन्फ़िगरेशन लिखता है। इस्तेमाल से पहले CLI उस इंस्टॉल की गई रिलीज़ को फिर सत्यापित करता है।

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

1. Linux x86_64 पर Altifigence CLI इंस्टॉल करें। अपने सामान्य उपयोगकर्ता खाते से alti xls upstream install चलाएँ और किसी मौजूदा फ़ोल्डर के अंदर इंस्टॉलेशन के गंतव्य तथा टूलचेन कॉन्फ़िगरेशन के लिए नए पूर्ण पथ चुनें।

2. उस टूलचेन कॉन्फ़िगरेशन के साथ alti xls upstream capabilities का उत्तर पढ़ें। अपनी इंस्टॉलेशन के लिए बताए गए ऑपरेशन, इनपुट प्रकार और इंस्टॉल की गई रिलीज़ की पहचान देखें।

3. operation, input_kind, entry और files के साथ अनुरोध तैयार करें। DSLX के लिए files में मॉड्यूल होते हैं, जिनकी कुंजियाँ .x पर समाप्त होने वाले सापेक्ष पथ हैं, और entry शुरुआती मॉड्यूल की पहचान करता है।

4. टूलचेन कॉन्फ़िगरेशन, मौजूदा कार्य-मूल फ़ोल्डर और अनुरोध के साथ alti xls upstream run चलाएँ। पार्सिंग और टाइप जाँच के लिए check चुनें या शुरुआती मॉड्यूल के टेस्ट फ़ंक्शन और टेस्ट proc के लिए eval चुनें।

5. चुने गए फ़ंक्शन के लिए top शामिल करें और convert, optimize या codegen चुनें। लौटे आर्टिफ़ैक्ट देखें और समीक्षा के लिए परिणाम को सोर्स अनुरोध के साथ रखें।

कई फ़ाइलों वाला अनुरोध, मॉड्यूल और उसके इंपोर्ट के संबंध को स्पष्ट करता है। प्रकाशित उदाहरण में add फ़ंक्शन adder.x में रखा गया है और main.x से इंपोर्ट किया गया है, जहाँ मॉड्यूल टेस्ट परिणाम की जाँच करता है। entry, मूल्यांकन के लिए टेस्ट मॉड्यूल बताता है। check और eval उस शुरुआती मॉड्यूल और उसके इंपोर्ट पर काम करते हैं; जनरेशन अनुरोध top के माध्यम से फ़ंक्शन की पहचान करते हैं।

टाइप वाले ऐडर से जनरेट किए गए आउटपुट तक

दस्तावेज़ में दिया गया ऐडर u8 इनपुट और u8 रिटर्न मान इस्तेमाल करता है। उसका टेस्ट u8:255 और u8:1 जोड़ता है और u8:0 की अपेक्षा करता है। समीक्षा का यह छोटा उदाहरण उपयोगी है, क्योंकि सोर्स का टाइप और सीमा पार होने पर मान के वापस शुरू होने का अपेक्षित व्यवहार एक साथ दिखते हैं। डिज़ाइनर एक ही सोर्स कार्य के हिस्सों के रूप में फ़ंक्शन पढ़ सकता है, असर्शन देख सकता है और मॉड्यूल टेस्ट चला सकता है।

पाइपलाइन वाले SystemVerilog जनरेशन के लिए उदाहरण add को top चुनता है और ऐडर मॉड्यूल को entry के रूप में इस्तेमाल करता है। कन्वर्ज़न चुने गए फ़ंक्शन का मध्यवर्ती निरूपण बनाता है; ऑप्टिमाइज़ेशन अनुकूलित IR आर्टिफ़ैक्ट बनाता है; कोड जनरेशन SystemVerilog और साथ की इंटरफ़ेस, शेड्यूल व सिग्नेचर सामग्री बनाता है। convert या optimize चुनने से समीक्षा को मध्यवर्ती चरण पर रोका जा सकता है।

उस पाइपलाइन वाले codegen के परिणाम में module.sv, converted.ir, optimized.ir, interface.textproto, schedule.textproto और signature.textproto शामिल हैं। हर आर्टिफ़ैक्ट में उसका टेक्स्ट, बाइट की संख्या और SHA-256 होता है। परिणाम टूल प्रक्रियाएँ भी दर्ज करता है, जिनमें उनके हैश, आर्ग्युमेंट, एग्ज़िट कोड और आउटपुट शामिल हैं। ये फ़ील्ड मिलकर जनरेट की गई फ़ाइलों को रन में इस्तेमाल हुए टूल और अनुरोध से जोड़ते हैं।

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

अलग स्थानीय XLS MCP टूल कनेक्ट करें

स्थानीय XLS MCP वर्कफ़्लो की शुरुआत सत्यापित Linux x86_64 CLI बंडल से होती है। संगत क्लाइंट की stdio सेटिंग में कमांड को इंस्टॉल किए गए alti-mcp एक्ज़ीक्यूटेबल के पूर्ण पथ पर सेट करें और आर्ग्युमेंट खाली छोड़ें। उस सत्यापित इंस्टॉलेशन में alti-xls को alti-mcp के साथ रखें। सर्वर प्रक्रिया के एनवायरनमेंट वेरिएबल ALTI_MCP_MODE को local-xls पर सेट करें और कनेक्ट करें।

क्लाइंट की टूल सूची रीफ़्रेश करें, फिर खाली ऑब्जेक्ट {} के साथ altifigence.local.xls.capabilities कॉल करें। लौटाई गई इंजन क्षमताएँ और निष्पादन रसीद देखें। यह चरण क्लाइंट से सोर्स ऑपरेशन भेजने से पहले इंजन का संदर्भ स्थापित करता है।

टूल सेट में altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize और altifigence.local.xls.codegen शामिल हैं। ये क्षमताओं की जाँच, सोर्स जाँच, इनपुट वेक्टर के साथ मूल्यांकन, XLS IR ऑप्टिमाइज़ेशन और RTL जनरेशन देते हैं। निष्पादन में साथ का इंजन CPU पर इस्तेमाल होता है।

सोर्स ऑपरेशन के लिए input_kind को dslx या xls-ir दें, अनुरोध में सोर्स दें और top में शीर्ष फ़ंक्शन का नाम दें। eval के लिए vectors भी स्ट्रिंग मानों की ऐरे के रूप में दें। यह अनुरोध शैली स्पष्ट रूप से चुने गए सोर्स फ़ंक्शन और उसके लिए तैयार किए गए टाइप वाले इनपुट के सेट के अनुकूल है। सफल इंजन कॉल, structuredContent में engine और receipt लौटाता है।

सोर्स कार्य के लिए वर्कफ़्लो चुनें

upstream प्रक्रिया उन डिज़ाइनरों के अनुकूल है जो DSLX मॉड्यूल, इंपोर्ट और मॉड्यूल टेस्ट पर काम करते हैं और इंस्टॉल किए गए Google XLS के निश्चित संस्करण वाले टूलचेन से परिणाम चाहते हैं। स्थानीय MCP प्रक्रिया उन लोगों के अनुकूल है जो संगत क्लाइंट से नेटिव CPU इंजन को इनलाइन सोर्स ऑपरेशन और मूल्यांकन वेक्टर भेजते हैं। संबंधित क्षमताओं के उत्तर से शुरू करें, सोर्स पहचानें और लौटे परिणाम को जाँच के लिए उपलब्ध रखें।

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

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

और जानें

इंस्टॉलेशन, मॉड्यूल टेस्ट और SystemVerilog आर्टिफ़ैक्ट के लिए निश्चित संस्करण वाले upstream XLS की गाइड पढ़ें।

क्लाइंट कॉन्फ़िगरेशन और सोर्स ऑपरेशन के लिए स्थानीय XLS MCP गाइड इस्तेमाल करें।

Linux इंस्टॉलेशन वर्कफ़्लो के लिए Altifigence CLI गाइड पढ़ें।

CLI वितरण और उत्पाद डाउनलोड के लिए Altifigence Downloads पर जाएँ।