ContractHIL-HLS: Contract-Aligned Multi-Agent Workflow with Hardware-in-the-Loop Feedback for HLS Design
यह शोधपत्र ContractHIL-HLS को प्रस्तुत करता है, जो एक अनुबंध-संरेखित (contract-aligned) मल्टी-एजेंट वर्कफ़्लो है जो HLS डिज़ाइन कार्यों में पास दरों को महत्वपूर्ण रूप से सुधारने और बोर्ड-स्तरीय पोस्ट-क्वांटम क्रिप्टोग्राफी एक्सेलेरेटर्स को अनुकूलित करने के लिए संरचित प्राकृतिक भाषा-से-अनुबंध अनुवाद को हार्डवेयर-इन-द-लूप फीडबैक के साथ एकीकृत करता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
कल्पना कीजिए कि आप एक बेहद बुद्धिमान, सुपर-फास्ट रोबोट को एक जटिल मशीन बनाने के लिए सिखाने की कोशिश कर रहे हैं, जैसे कि एक कस्टम वीडियो गेम कंसोल या एक सुपर-सिक्योर वॉल्ट। आप रोबोट को साधारण अंग्रेजी में निर्देश देते हैं, जैसे "इसे तेज़ और सुरक्षित बनाओ।" रोबोट, जो एक लार्ज लैंग्वेज मॉडल (एक ऐसा AI जो कोड पढ़ और लिख सकता है) द्वारा संचालित है, उस कोड का विचार लिखने की कोशिश करता है, लेकिन वह अक्सर उन छोटी, उबाऊ नियमों को भूल जाता है जिनकी वास्तविक मशीनों को काम करने के लिए आवश्यकता होती है, जैसे कि वे कितनी बिजली का उपयोग करते हैं या क्या उनके पुर्जे आपस में फिट बैठते हैं। यह हाई-लेवल सिंथेसिस (HLS) की दुनिया है, जहाँ इंसान AI का उपयोग करके चिप्स के लिए वास्तविक हार्डवेयर डिज़ाइन बनाने की कोशिश करते हैं। बड़ा सवाल केवल यह नहीं है कि "क्या AI कोड लिख सकता है?" बल्कि यह है कि "क्या AI कुछ ऐसा बना सकता है जो वास्तव में एक वास्तविक बोर्ड पर बिना किसी मानवीय सुधार के काम करे?"
यहीं पर बीजिंग यूनिवर्सिटी ऑफ टेक्नोलॉजी के शोधकर्ताओं की एक टीम एक नया विचार लेकर आती है जिसे ContractHIL-HLS कहा जाता है। इसे एक "स्मार्ट प्रोजेक्ट मैनेजर" के रूप में समझें जो AI के लिए काम करता है। AI को केवल आपके साथ बातचीत करने देने के बजाय, वे उसे पहले एक औपचारिक "अनुबंध" (contract) पर हस्ताक्षर करने के लिए मजबूर करते हैं। यह अनुबंध नियमों की एक सख्त, संरचित सूची है: "यहाँ ठीक वही है जो मशीन को करना चाहिए, यहाँ वे चीजें हैं जो वह बिल्कुल नहीं कर सकती, और यहाँ बताया गया है कि हम इसका परीक्षण कैसे करेंगे।" यदि AI नियमों को तोड़ने की कोशिश करता है, तो सिस्टम उसे तुरंत पकड़ लेता है। इससे भी बेहतर बात यह है कि वे इस प्रक्रिया को वास्तविक हार्डवेयर से जोड़ते हैं। यदि AI एक ऐसा चिप डिजाइन करता है जो बहुत अधिक गर्म होता है या बहुत धीमा होता है, तो वास्तविक मशीन एक "विफलता रिपोर्ट" (failure report) वापस भेजती है, जिसे फिर से लिखना पड़ता है ताकि डिज़ाइन को सुधारा जा सके। यह एक वीडियो गेम की तरह है जहाँ चरित्र केवल समाधान का अनुमान नहीं लगाता; उसे हिट लगता है, वह देखता है कि वह क्यों विफल हुआ, और फिर एक बेहतर योजना के साथ फिर से प्रयास करता है।
समस्या: AI बातें करने में महान है, निर्माण करने में नहीं
आमतौर पर, जब आप AI को हार्डवेयर डिजाइन करने के लिए कहते हैं, तो यह एक रचनात्मक लेखक की तरह व्यवहार करता है। यह आपके प्रॉम्प्ट के आधार पर कोड उत्पन्न करता है, लेकिन यह अक्सर "बारीक विवरणों" को भूल जाता है। शायद यह ऐसी विशेषता का उपयोग करता है जिसे हार्डवेयर चिप सपोर्ट नहीं करता है, या यह एक ऐसा डिज़ाइन बनाता है जो कागज़ पर तो अच्छा दिखता है लेकिन चलाने पर क्रैश हो जाता है। पिछले तरीकों ने इसे ठीक करने के लिए AI को अलग-अलग भूमिकाएँ निभाने के लिए प्रेरित किया, जैसे "आर्किटेक्ट" या "कोडर", लेकिन AI अक्सर आर्किटेक्ट की कही बातों को भूल जाता था जब तक कि कोडर अपना काम शुरू नहीं कर देता था। डिज़ाइन का मूल उद्देश्य बातचीत में कहीं खो जाता था।
शोधकर्ताओं ने महसूस किया कि एक लंबी, अव्यवस्थित बातचीत पर भरोसा करने के बजाय, उन्हें एक संरचित अनुबंध (structured contract) की आवश्यकता थी। कल्पना कीजिए कि आप एक कस्टम पिज्जा ऑर्डर कर रहे हैं। केवल यह कहने के बजाय कि "मुझे एक स्वादिष्ट पिज्जा चाहिए," आप एक फॉर्म भरते हैं: "क्रस्ट: पतला। टॉपिंग्स: केवल पेपरोनी। मशरूम नहीं। 10 मिनट में तैयार होना चाहिए।" यह फॉर्म ही वह "अनुबंध" है। चिप डिज़ाइन की दुनिया में, यह अनुबंध आपके अस्पष्ट विचार को नियमों के एक सख्त सेट में बदल देता है जिसका पालन AI को करना ही होगा।
समाधान: तीन-एजेंट वर्कफ़्लो
टीम ने तीन विशिष्ट "एजेंटों" (AI सहायकों) के साथ एक प्रणाली बनाई है जो एक सुव्यवस्थित मशीन की तरह मिलकर काम करते हैं:
- कॉन्ट्रैक्ट एजेंट (The Contract Agent): यह एजेंट आपके बिखरे हुए, प्राकृतिक भाषा के अनुरोध (जैसे, "एक सुरक्षित संदेश प्रणाली बनाएं") को उस सख्त "पिज्जा ऑर्डर" अनुबंध में बदल देता है। यह इंटरफ़ेस, बाधाओं (क्या वर्जित है) और परीक्षण के नियमों को परिभाषित करता है।
- HTML एजेंट (The HTML Agent): यह एजेंट अनुबंध को लेता है और उसे एक साफ, संरचित वेबपेज (HTML) में बदल देता है। वेबपेज क्यों? क्योंकि इसे इंसानों के लिए पढ़ना आसान है, अगले AI एजेंट के लिए समझना आसान है, और कंप्यूटर स्क्रिप्ट के लिए जांचना आसान है। यह नियमों के एक स्थायी, अपरिवलाव्य रिकॉर्ड के रूप में कार्य करता है।
- हार्डवेयर-इन-द-लूप (HIL) एजेंट: यह निर्माता है। यह HTML अनुबंध को देखता है, कोड लिखता है, और—यही जादू वाला हिस्सा है—वास्तविक हार्डवेयर पर इसका परीक्षण करता है या इसका सिमुलेशन करता है। यदि हार्डवेयर कहता है, "हे, यह डिज़ाइन बहुत अधिक मेमोरी का उपयोग कर रहा है," तो HIL एजेंट उस साक्ष्य को देखता है, अनुबंध को पढ़ता है, और कोड को ठीक करने के लिए उसे फिर से लिखता है। यदि वह इसे ठीक नहीं कर पाता है, तो सिस्टम को "रोल बैक" करने और एक अलग दृष्टिकोण आज़माने का पता चल जाता है।
उन्होंने क्या पाया: छोटी जीत और बड़ी छलांग
टीम ने इस प्रणाली का परीक्षण दो बहुत अलग तरीकों से किया ताकि यह देखा जा सके कि क्या यह वास्तव में काम करती है।
1. "छोटा डिज़ाइन" परीक्षण (HLS-Eval)
सबसे पहले, उन्होंने 94 छोटे, मानक कोडिंग कार्यों पर इस प्रणाली का परीक्षण किया। उन्होंने तीन विधियों की तुलना की:
- डायरेक्ट (Direct): बिना किसी विशेष नियम के सीधे AI से पूछना।
- कॉन्ट्रैक्ट (Contract): संरचित अनुबंध का उपयोग करना लेकिन बिना वास्तविक हार्डवेयर फीडबैक के।
- ContractHIL-HLS: पूर्ण प्रणाली का उपयोग करना जिसमें अनुबंध और हार्डवेयर फीडबैक दोनों शामिल हैं।
परिणाम स्पष्ट थे। "डायरेक्ट" विधि लगभग 64.0% बार परीक्षण पास करती है। जब उन्होंने कॉन्ट्रैक्ट जोड़ा, तो सफलता दर बढ़कर 70.2% हो गई। पूर्ण प्रणाली ने एक प्रयास में 70.4% और यदि आप AI को पाँच बार प्रयास करने देते हैं तो 76.6% तक पहुँच प्राप्त की। यह साबित करता है कि केवल AI को एक संरचित अनुबंध का पालन करने के लिए मजबूर करने से यह वास्तविक हार्डवेयर को छूने से पहले ही बहुत अधिक विश्वसनीय हो जाता है।
2. "वास्तविक दुनिया" का परीक्षण (PQC केस स्टडी)
छोटे परीक्षण अच्छे हैं, लेकिन क्या वे बड़े, जटिल सिस्टम के लिए काम करते हैं? यह जानने के लिए, टीम ने पोस्ट-क्वांटम क्रिप्टोग्राफी (PQC) का उपयोग करके एक सुरक्षित संदेश एक्सेलेरेटर बनाया—संदेश भेजने का एक अत्यंत सुरक्षित तरीका जिसे भविष्य के क्वांटम कंप्यूटर भी नहीं तोड़ सकते। यह मेमोरी, टाइमिंग और पावर से जुड़ी एक विशाल इंजीनियरिंग चुनौती है।
उन्होंने एक एकल डिज़ाइन (एक "बिटस्ट्रीम") के साथ शुरुआत की जिसमें एक संदेश को प्रोसेस करने में 207.3 ms लगते थे। सिस्टम ने हार्डवेयर फीडबैक का विश्लेषण किया और महसूस किया कि डिज़ाइन बहुत भीड़भाड़ वाला और धीमा है। अनुबंध के नियमों का पालन करते हुए, AI ने डिज़ाइन को दो अलग-अलग भागों (एक "डुअल-बिटस्ट्रीम" संगठन) में विभाजित किया। एक भाग भेजने को संभालता है, और दूसरा प्राप्त करने को।
परिणाम क्या रहा? नए डिज़ाइन ने संदेशों को मात्र 52.4 ms में प्रोसेस किया। यह एक बहुत बड़ी गति है! इसने कम बिजली का उपयोग किया और सभी टाइमिंग चेक भी पास किए। सिस्टम ने सफलतापूर्वक "अनुबंध" का उपयोग करके AI को एक धीमे, एकल डिज़ाइन से एक तेज़, विभाजित डिज़ाइन की ओर निर्देशित किया, और साथ ही सुरक्षा नियमों को भी बरकरार रखा।
यह क्यों मायने रखता है
यह पेपर दिखाता है कि हमें AI के अपने आप "प्रतिभाशाली" होने का इंतज़ार करने की ज़रूरत नहीं है। इसके बजाय, हम एक ऐसा वर्कफ़्लो बना सकते हैं जहाँ AI को एक सख्त, अटूट अनुबंध द्वारा निर्देशित किया जाता है और वास्तविक दुनिया के साक्ष्य द्वारा सुधारा जाता है। शोधकर्ताओं ने पाया कि यह दृष्टिकोण न केवल AI को कोड तेज़ी से लिखने में मदद करता है; बल्कि यह सुनिश्चित करता है कि कोड काम करे।
हालाँकि, पेपर सावधानी से नोट करता है कि यह हर चीज़ के लिए जादू की छड़ी नहीं है। उनके परीक्षणों में, कार्यों का एक समूह (जिसे "मैक्स suite" कहा जाता है) था, जहाँ अनुबंध के बावजूद AI पूरी तरह से विफल रहा। यह सुझाव देता है कि जबकि अनुबंध AI को नियमों का पालन करने में मदद करता है, यह तब काम नहीं कर सकता जब AI को अंतर्निहित गणित या तर्क की जानकारी ही न हो।
संक्षेप में, ContractHIL-HLS मानव विचारों की अव्यवस्थित दुनिया और हार्डवेयर चिप्स की कठोर दुनिया के बीच एक सेतु है। यह AI को एक रचनात्मक लेखक से एक अनुशासित इंजीनियर में बदल देता है, यह सुनिश्चित करता है कि जब हम एक सुरक्षित, तेज़ मशीन मांगते हैं, तो हमें वास्तव में वही मिलती है जो काम करती है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।