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

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

स्रोत नोड: 2939691

A technical paper titled “LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation” was published by researchers at University of Cambridge, lowRISC, and Imperial College London.

सार:

“Test stimuli generation has been a crucial but labor-intensive task in hardware design verification. In this paper, we revolutionize this process by harnessing the power of large language models (LLMs) and present a novel benchmarking framework, LLM4DV. This framework introduces a prompt template for interactively eliciting test stimuli from the LLM, along with four innovative prompting improvements to support the pipeline execution and further enhance its performance. We compare LLM4DV to traditional constrained-random testing (CRT), using three self-designed design-under-test (DUT) modules. Experiments demonstrate that LLM4DV excels in efficiently handling straightforward DUT scenarios, leveraging its ability to employ basic mathematical reasoning and pre-trained knowledge. While it exhibits reduced efficiency in complex task settings, it still outperforms CRT in relative terms. The proposed framework and the DUT modules used in our experiments will be open-sourced upon publication.”

खोज तकनीकी कागज यहाँ। अक्टूबर 2023 (प्रीप्रिंट) प्रकाशित।

Zhang, Zixi, Greg Chadwick, Hugo McNally, Yiren Zhao, and Robert Mullins. “LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation.” arXiv preprint arXiv:2310.04535 (2023).

संबंधित पढ़ना
विश्वसनीयता बढ़ाने की माँग के रूप में परीक्षण की चुनौतियाँ बढ़ती हैं
New approaches, from AI to telemetry, extend well beyond yield.
एआई, बढ़ती चिप जटिलता जटिल प्रोटोटाइपिंग
निरंतर अद्यतन, अधिक परिवर्तनशीलता, और प्रति वाट प्रदर्शन की नई माँगें डिज़ाइन के अग्र भाग में परिवर्तन ला रही हैं।

समय टिकट:

से अधिक अर्ध इंजीनियरिंग

स्केलेबल, गैर-घुसपैठ, कैश-सुसंगत तरीके (प्रिंसटन) में eFPGAs को एकीकृत करने के लिए नॉवेल डुएट एडेप्टर को नियोजित करने वाला मैनकोर-एफपीजीए आर्किटेक्चर

स्रोत नोड: 1904059
समय टिकट: जनवरी 16, 2023