Faver: ফাংশন অ্যাবস্ট্র্যাক্টেড ভেরিফাইয়েবল মিডলওয়্যার দিয়ে LLM-ভিত্তিক RTL জেনারেশন বৃদ্ধি করা

মৌলিক তথ্য

• পেপার আইডি: 2510.08664
• শিরোনাম: Faver: ফাংশন অ্যাবস্ট্র্যাক্টেড ভেরিফাইয়েবল মিডলওয়্যার দিয়ে LLM-ভিত্তিক RTL জেনারেশন বৃদ্ধি করা
• লেখক: জিয়ানান মু, মিংইউ শি, ইনিং ওয়াং, তিয়ানমেং ইয়াং, বিন সান, জিং হু, জিং ইয়ে, হুয়াওয়েই লি
• শ্রেণীবিভাগ: cs.SE cs.AI
• প্রকাশনার সময়: ২০২৫ সালের ৯ অক্টোবর (arXiv প্রি-প্রিন্ট)
• পেপার লিঙ্ক: https://arxiv.org/abs/2510.08664

সারসংক্ষেপ

এই পেপারটি বৃহৎ ভাষা মডেল (LLM) ভিত্তিক RTL কোড জেনারেশনের নির্ভুলতার সমস্যা সমাধানের জন্য একটি ফাংশন অ্যাবস্ট্র্যাক্টেড ভেরিফাইয়েবল মিডলওয়্যার (Faver) প্রস্তাব করে। এই পদ্ধতিটি LLM-বান্ধব কোড কাঠামোকে নিয়ম-ভিত্তিক টেমপ্লেটের সাথে একত্রিত করে, সার্কিট যাচাইকরণের বিবরণগুলি বিচ্ছিন্ন করে, যাতে LLM নিজেই কার্যকারিতায় মনোনিবেশ করতে পারে। SFT মডেল এবং ওপেন সোর্স মডেলের পরীক্ষায়, Faver মডেলের জেনারেশন নির্ভুলতা ১৪% পর্যন্ত বৃদ্ধি করেছে।

গবেষণা পটভূমি এবং প্রেরণা

১. মূল সমস্যা

RTL ডিজাইন চিপ ডিজাইনে সবচেয়ে কম স্বয়ংক্রিয় এবং সবচেয়ে শ্রম-নিবিড় পর্যায়। যদিও LLM RTL জেনারেশনে সম্ভাবনা প্রদর্শন করেছে, উচ্চ-স্তরের স্পেসিফিকেশন এবং RTL এর মধ্যে বিশাল শব্দার্থিক ব্যবধান এবং সীমিত প্রশিক্ষণ ডেটার কারণে, বিদ্যমান মডেলগুলি জেনারেশন নির্ভুলতায় দুর্বল পারফরম্যান্স দেখায়।

২. সমস্যার গুরুত্ব

• RTL ডিজাইন একীভূত সার্কিট ডিজাইন প্রবাহে একটি মূল বাধা
• স্বয়ংক্রিয় RTL জেনারেশন চিপ ডিজাইনের দক্ষতা উল্লেখযোগ্যভাবে উন্নত করতে পারে
• বিদ্যমান পদ্ধতিগুলি "ডিজাইন এবং যাচাইকরণ" এর মানব অভিজ্ঞতা কার্যকরভাবে ব্যবহার করতে পারে না

৩. বিদ্যমান পদ্ধতির সীমাবদ্ধতা

• সরাসরি LLM বিচার: স্পেসিফিকেশনের উপর ভিত্তি করে কার্যকারিতা যাচাই করার জন্য শক্তিশালী অনুমান সরঞ্জামের অভাব
• RTL testbench জেনারেশন: testbench ডেটা ডিজাইন ডেটার চেয়ে বিরল এবং জেনারেশন কঠিনতা RTL ডিজাইনের সমান
• সাধারণ Python যাচাইকরণ: হার্ডওয়্যার এবং সফটওয়্যার সময় এবং স্থানের দানায় বিশাল পার্থক্য রয়েছে, যা সহ-যাচাইকরণকে কঠিন করে তোলে

৪. গবেষণা প্রেরণা

মানব ডিজাইন অভিজ্ঞতায় "ডিজাইন এবং যাচাইকরণ" পদ্ধতি থেকে শিখুন, কিন্তু হার্ডওয়্যার যাচাইকরণে LLM এর অন্তর্নিহিত কঠিনতা সমাধান করতে হবে, বিশেষত সময় সম্পর্কিত ভেরিয়েবল এবং পরীক্ষা উত্তেজনা জেনারেশনের চ্যালেঞ্জ।

মূল অবদান

১. Faver ফ্রেমওয়ার্ক প্রস্তাব: LLM কে সার্কিট যাচাই করার জন্য উচ্চ-স্তরের শব্দার্থিক কোড লিখতে অনুমতি দেয় এবং ডিজাইন এবং যাচাইকরণ ফ্রেমওয়ার্ক থেকে উপকৃত হয়

२. ফাংশন-ক্লাস অ্যাবস্ট্র্যাকশন টেমপ্লেট ডিজাইন: হার্ডওয়্যার ডিজাইনে ঘড়ি এবং রেজিস্টার শব্দার্থিকতা ইভেন্ট-চালিত Python/C ফাংশন ক্লাসে ম্যাপ করে, হার্ডওয়্যার এবং সফটওয়্যার যাচাইকরণের মধ্যে সময় এবং স্থানের ব্যবধান হ্রাস করে

३. পরীক্ষামূলক যাচাইকরণ: একাধিক পরীক্ষা সেট এবং LLM এ প্রমাণ করে যে Faver LLM-ভিত্তিক RTL জেনারেশন নির্ভুলতা ১৪% পর্যন্ত বৃদ্ধি করে

४. তাত্ত্বিক বিশ্লেষণ: সিস্টেম সাফল্যের হার এবং প্রতিক্রিয়া সত্যতার হারের জন্য গাণিতিক মডেল প্রদান করে

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

ইনপুট: প্রাকৃতিক ভাষা স্পেসিফিকেশন দ্বারা বর্ণিত হার্ডওয়্যার কার্যকারিতা প্রয়োজনীয়তা

আউটপুট: কার্যকরভাবে সঠিক এবং যাচাইকৃত RTL (Verilog) কোড

সীমাবদ্ধতা: উৎপন্ন RTL অবশ্যই বাক্য গঠন এবং কার্যকারিতা উভয় ক্ষেত্রেই সঠিক হতে হবে

মডেল আর্কিটেকচার

Faver ফ্রেমওয়ার্কে চারটি মূল পদক্ষেপ রয়েছে:

১. যাচাইকরণ স্পেসিফিকেশন জেনারেশন

• I/O পোর্ট সংরক্ষণ: একই ইনপুট আউটপুট পোর্ট সংজ্ঞা বজায় রাখুন
• কার্যকারিতা অ্যাবস্ট্র্যাকশন: RTL এর টপোলজি সংযোগকে সফটওয়্যারের ইনপুট আউটপুট প্রক্রিয়াকরণ যুক্তিতে রূপান্তরিত করুন
• সীমানা বিশ্লেষণ: RTL এর সীমানা শর্তগুলি বিশ্লেষণ করুন এবং যাচাইকরণ স্পেসিফিকেশনে গণনা করুন

२. ক্লাস টেমপ্লেট-ভিত্তিক রেফারেন্স মডেল জেনারেশন

মূল ডিজাইন:

class ref_model(Model):
    def __init__(self):
        global state_flag0, state_flag1  # রেজিস্টার গ্লোবাল ভেরিয়েবলে ম্যাপ করা
    
    @driver_hook()
    def reset(self):  # ডেডিকেটেড রিসেট ফাংশন
        pass
    
    @driver_hook() 
    def step(self):   # একীভূত কার্যকারিতা ইন্টারফেস
        pass
    
    def func1(self):  # অন্যান্য কার্যকারিতা ফাংশন
        pass

মূল প্রযুক্তি:

• রেজিস্টার থেকে গ্লোবাল ভেরিয়েবল ম্যাপিং: হার্ডওয়্যার রেজিস্টারকে ক্লাস-স্তরের গ্লোবাল ভেরিয়েবলে ম্যাপ করুন
• ঘড়ি ইভেন্ট হিসাবে: ঘড়ির ঊর্ধ্বমুখী প্রান্তকে "কল স্টেপ" ইভেন্ট হিসাবে বিবেচনা করুন
• একীভূত ইন্টারফেস: step ফাংশনের মাধ্যমে বিভিন্ন মডিউলে একীভূত অ্যাক্সেস

३. স্তরযুক্ত পরীক্ষা উত্তেজনা জেনারেশন

LLM-নিয়ম সহযোগিতা প্রক্রিয়া:

• উচ্চ-স্তরের পরিকল্পনা: LLM পরীক্ষা পরিকল্পনা ডিজাইন করে, কার্যকারিতা স্থানের সম্পূর্ণ কভারেজ নিশ্চিত করে
• সময় ডেটা জেনারেশন: LLM শক্তিশালী কার্যকারিতা সম্পর্কিত সময় ইনপুট ডেটা উৎপন্ন করে
• নিয়ম-ভিত্তিক পরিমার্জন:
  • নিয়ম-ভিত্তিক রিসেট ফাংশন সন্নিবেশ করান
  • ডেটা প্রবাহে সীমানা পরীক্ষা এবং সংশোধন করুন

४. সহ-সিমুলেশন এবং পুনরাবৃত্তিমূলক অপ্টিমাইজেশন

• Python-Verilog সহ-সিমুলেশন নির্ভুল ম্যাচিংয়ের জন্য ব্যবহার করুন
• তরঙ্গরূপ অক্ষর-স্তরের তুলনা, ত্রুটি প্রকার শ্রেণীবিভাগ (কার্যকারিতা ত্রুটি, সময় অমিল, সীমানা শর্ত সমস্যা)
• পুনরাবৃত্তি থ্রেশহোল্ড ৫ বার সেট করুন, অসীম লুপ এড়ান

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. শব্দার্থিক ব্যবধান সেতু: কার্যকারিতা অ্যাবস্ট্র্যাকশনের মাধ্যমে সার্কিট টপোলজিকে সফটওয়্যার যুক্তিতে রূপান্তরিত করুন

२. সময় ভেরিয়েবল নিষ্কাশন: উদ্ভাবনীভাবে হার্ডওয়্যার সময় ধারণাকে সফটওয়্যার ইভেন্ট-চালিত মডেলে ম্যাপ করুন

३. স্তরযুক্ত যাচাইকরণ কৌশল: LLM এর উচ্চ-স্তরের শব্দার্থিক ক্ষমতা এবং নিয়ম সিস্টেমের নির্ভুলতা একত্রিত করুন

পরীক্ষামূলক সেটআপ

ডেটাসেট

• RTLLM: একাডেমিক RTL কোড জেনারেশন বেঞ্চমার্ক টেস্ট সেট
• VerilogEval: আরেকটি ব্যাপকভাবে ব্যবহৃত Verilog কোড জেনারেশন মূল্যায়ন ডেটাসেট
• স্ব-সংগৃহীত SFT ডেটা: ৫০০০ এর বেশি প্রাকৃতিক ভাষা বর্ণনা এবং RTL কোড জোড়ার ডেটাসেট

মূল্যায়ন মেট্রিক্স

• Pass@1: একক জেনারেশনের পাস হার
• Pass@5: পাঁচটি জেনারেশনে অন্তত একটি পাস সাফল্যের হার
• sys_sel_pass@1: ডিজাইন এবং যাচাইকরণ সিস্টেম একটি ডিজাইন আউটপুট করার পাস হার
• sys_inner_pass@5: পাঁচটি অভ্যন্তরীণ পুনরাবৃত্তিতে যেকোনো ডিজাইন পাস সাফল্যের হার

তুলনামূলক পদ্ধতি

ভিত্তি মডেল:

• DeepSeek-R1-0528, Kimi K2, GPT-4O, QWQ-32B
• Qwen2.5-Coder-32B-Instruct

SFT মডেল:

• CodeV সিরিজ, RTLCoder-Mistral-7B, CraftRTL-SC2-15B
• Qwen2.5-7B-SFT (স্ব-প্রশিক্ষিত)

যাচাইকরণ ভিত্তিরেখা:

• baseline-V: LLM-উৎপন্ন Verilog testbench
• baseline-L: LLM বিচারক হিসাবে
• baseline-P: LLM-উৎপন্ন Python testbench (Faver ছাড়া)

বাস্তবায়ন বিবরণ

• Toffee ব্যবহার করুন (Verilator-ভিত্তিক Python-Verilog সহ-সিমুলেশন প্ল্যাটফর্ম)
• ক্রমাগত ব্যর্থতা থ্রেশহোল্ড ৫ এ সেট করুন
• গণনা খরচ হ্রাস করতে SFT প্রশিক্ষণের জন্য LoRA পদ্ধতি গ্রহণ করুন

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

উল্লেখযোগ্য কর্মক্ষমতা উন্নতি:

• DeepSeek-R1-0528 RTLLM এ: Pass@1 ৭৪% থেকে sys_sel_pass@1 এর ৮৩% এ উন্নীত
• Qwen2.5-7B-SFT: sys_inner_pass@5 মূল মডেলের চেয়ে ১৪% উন্নত
• ভিত্তি মডেলগুলি সাধারণত প্রায় ১০% পাস হার উন্নতি অর্জন করে

ক্রস-মডেল সামঞ্জস্য: সমস্ত পরীক্ষিত মডেল দুটি ডেটাসেটে সামঞ্জস্যপূর্ণ উন্নতি প্রদর্শন করে, Faver এর সর্বজনীন কার্যকারিতা প্রমাণ করে।

অ্যাবলেশন পরীক্ষা

উপাদান অবদান বিশ্লেষণ:

• Faver- (পরীক্ষা উত্তেজনা জেনারেশন ছাড়া): গড় ২.৭৫% উন্নতি
• সম্পূর্ণ Faver: ১२% পর্যন্ত উন্নতি
• রেফারেন্স মডেল জেনারেশন এবং স্তরযুক্ত পরীক্ষা উত্তেজনা জেনারেশন উভয়ই কর্মক্ষমতা উন্নতিতে গুরুত্বপূর্ণ অবদান রাখে তা প্রমাণ করে

যাচাইকারী কর্মক্ষমতা বিশ্লেষণ

নির্ভুলতা মেট্রিক্স:

• True Positive False Positive এর চেয়ে উল্লেখযোগ্যভাবে বেশি
• True Negative False Negative এর চেয়ে উল্লেখযোগ্যভাবে বেশি
• তাত্ত্বিক বিশ্লেষণে a > b এবং c > d শর্তগুলি যাচাই করে

পুনরাবৃত্তিমূলক উন্নতির প্রভাব:

• Faver-DeepSeek-R1-0528 পুনরাবৃত্তি প্রক্রিয়ায় স্থিতিশীল নির্ভুলতা উন্নতি প্রদর্শন করে
• মূল DeepSeek-R1-0528 এর নির্ভুলতা র্যান্ডম ওঠানামার প্যাটার্ন দেখায়

কেস বিশ্লেষণ

কনভোলিউশনাল কার্নেল ডিজাইনের উদাহরণ: १. কার্যকারিতা অ্যাবস্ট্র্যাকশন: গুণক এবং যোগকারীর টপোলজি সংযোগকে কনভোলিউশনাল অপারেশনে অ্যাবস্ট্র্যাক্ট করুন

२. সীমানা প্রক্রিয়াকরণ: ৮-বিট ডেটা প্রস্থ সীমাবদ্ধতা এবং মাত্রা ম্যাচিং সমস্যা চিহ্নিত করুন

३. সময় ম্যাপিং: ঘড়ি-চালিত বিট স্ট্রিমকে step ফাংশন কল সিকোয়েন্সে রূপান্তরিত করুন

সম্পর্কিত কাজ

প্রধান গবেষণা দিকনির্দেশনা

१. LLM-ভিত্তিক RTL জেনারেশন: ChipGPT, ChipNeMo, BetterV ইত্যাদি বিশেষায়িত মডেল

२. ডিজাইন এবং যাচাইকরণ পদ্ধতি: VerilogCoder, MAGE ইত্যাদি যাচাইকরণ প্রতিক্রিয়া গ্রহণকারী পদ্ধতি

३. RTL যাচাইকরণ: VerilogReader ইত্যাদি পরীক্ষা ভেক্টর জেনারেশনে ফোকাস করা

এই পেপারের সুবিধা

• প্রথমবারের মতো Python-RTL সহ-যাচাইকরণের সময় এবং স্থানের ব্যবধান সমস্যা সিস্টেমেটিকভাবে সমাধান করা
• সম্পূর্ণ এন্ড-টু-এন্ড যাচাইকরণ ফ্রেমওয়ার্ক প্রদান করা, হাতে-কলমে পরীক্ষা প্ল্যাটফর্মের উপর নির্ভরতা নয়
• কার্যকারিতা অ্যাবস্ট্র্যাকশনের মাধ্যমে সাধারণ আউটপুট পূর্বাভাস পদ্ধতির সীমাবদ্ধতা এড়ানো

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. Faver সফলভাবে সফটওয়্যার যাচাইকরণ অনুশীলন এবং হার্ডওয়্যার ডিজাইনের সময় অবস্থা নির্ভরতা বৈশিষ্ট্যের মধ্যে সেতু তৈরি করেছে

२. কার্যকারিতা-স্তরের নির্ভুল যাচাইকরণ প্রতিক্রিয়া হার্ডওয়্যার ডিজাইন পরিবেশে LLM আউটপুট উন্নত করার জন্য গুরুত্বপূর্ণ

३. স্তরযুক্ত যাচাইকরণ কৌশল কার্যকরভাবে LLM এর শব্দার্থিক ক্ষমতা এবং নিয়ম সিস্টেমের নির্ভুলতা একত্রিত করে

সীমাবদ্ধতা

१. পুনরাবৃত্তি থ্রেশহোল্ড সীমাবদ্ধতা: নির্দিষ্ট ৫ বার পুনরাবৃত্তি থ্রেশহোল্ড সেট করা সমস্ত জটিলতার ডিজাইনের জন্য উপযুক্ত নাও হতে পারে

२. নিয়ম সিস্টেম নির্ভরতা: সীমানা পরীক্ষা এবং রিসেট যুক্তি এখনও পূর্ব-সংজ্ঞায়িত নিয়মের প্রয়োজন

३. ডেটাসেট সীমাবদ্ধতা: মূল্যায়ন প্রধানত অপেক্ষাকৃত সাধারণ একাডেমিক বেঞ্চমার্কে পরিচালিত হয়

ভবিষ্যত দিকনির্দেশনা

१. আরও জটিল হার্ডওয়্যার ডিজাইনে সম্প্রসারণ (যেমন প্রসেসর, SoC)

२. স্ব-অভিযোজিত পুনরাবৃত্তি থ্রেশহোল্ড এবং আরও বুদ্ধিমান ত্রুটি শ্রেণীবিভাগ

३. বিদ্যমান EDA টুল চেইনের সাথে একীকরণ

গভীর মূল্যায়ন

শক্তি

१. প্রযুক্তিগত উদ্ভাবনী: প্রথমবারের মতো LLM এর হার্ডওয়্যার যাচাইকরণে সময় সমস্যা সিস্টেমেটিকভাবে সমাধান করা, ক্লাস টেমপ্লেট এবং ইভেন্ট-চালিত মডেলের মাধ্যমে কার্যকর শব্দার্থিক ম্যাপিং অর্জন করা

२. পরীক্ষামূলক সম্পূর্ণতা: একাধিক মডেল, ডেটাসেটে ব্যাপক মূল্যায়ন, অ্যাবলেশন পরীক্ষা এবং তাত্ত্বিক বিশ্লেষণ সহ

३. ব্যবহারিক মূল্য: সম্পূর্ণ ওপেন সোর্স বাস্তবায়ন প্রদান করা, ভাল পুনরুৎপাদনযোগ্যতা সহ

४. তাত্ত্বিক সমর্থন: সিস্টেম সাফল্যের হারের গাণিতিক মডেল প্রদান করা, পদ্ধতির তাত্ত্বিক ভিত্তি শক্তিশালী করা

অপূর্ণতা

१. মূল্যায়ন পরিসীমা: প্রধানত একাডেমিক বেঞ্চমার্কে মূল্যায়ন, শিল্প-স্তরের জটিল ডিজাইন যাচাইকরণের অভাব

२. নিয়ম সিস্টেম: এখনও সীমানা পরীক্ষার জন্য পূর্ব-সংজ্ঞায়িত নিয়মের উপর নির্ভর করে, স্বয়ংক্রিয়করণের ডিগ্রি সীমিত

३. স্কেলেবিলিটি: অত্যন্ত জটিল হার্ডওয়্যার ডিজাইনের জন্য পদ্ধতির স্কেলেবিলিটি এখনও সম্পূর্ণভাবে যাচাই করা হয়নি

প্রভাব

१. একাডেমিক অবদান: LLM-ভিত্তিক হার্ডওয়্যার ডিজাইন ক্ষেত্রে নতুন যাচাইকরণ প্যারাডাইম প্রদান করা

२. ব্যবহারিক মূল্য: বিদ্যমান RTL ডিজাইন প্রবাহে সরাসরি প্রয়োগ করা যায়, তাৎক্ষণিক প্রভাব সহ

३. পুনরুৎপাদনযোগ্যতা: ওপেন সোর্স সরঞ্জামের উপর ভিত্তি করে বাস্তবায়িত, গবেষণা সম্প্রদায়ের জন্য পুনরুৎপাদন এবং সম্প্রসারণ সহজ করে

প্রযোজ্য পরিস্থিতি

• মাঝারি জটিলতার ডিজিটাল সার্কিট ডিজাইন
• দ্রুত প্রোটোটাইপ যাচাইকরণের প্রয়োজনীয় হার্ডওয়্যার উন্নয়ন
• শিক্ষা এবং গবেষণা পরিবেশে RTL কোড জেনারেশন
• বিদ্যমান EDA সরঞ্জামের সহায়ক যাচাইকরণ সরঞ্জাম হিসাবে

তথ্যসূত্র

পেপারটি এই ক্ষেত্রের গুরুত্বপূর্ণ কাজগুলি উদ্ধৃত করে, যার মধ্যে রয়েছে:

• ChipGPT, ChipNeMo ইত্যাদি বিশেষায়িত হার্ডওয়্যার ডিজাইন LLM
• VerilogCoder, MAGE ইত্যাদি ডিজাইন এবং যাচাইকরণ পদ্ধতি
• RTLLM, VerilogEval ইত্যাদি মান মূল্যায়ন বেঞ্চমার্ক
• Toffee, Verilator ইত্যাদি সহ-সিমুলেশন সরঞ্জাম

সামগ্রিক মূল্যায়ন: এটি LLM-ভিত্তিক RTL জেনারেশন ক্ষেত্রে গুরুত্বপূর্ণ অবদান সহ একটি উচ্চ-মানের পেপার। উদ্ভাবনী কার্যকারিতা অ্যাবস্ট্র্যাকশন মিডলওয়্যার ডিজাইনের মাধ্যমে, সফটওয়্যার এবং হার্ডওয়্যার যাচাইকরণের মধ্যে শব্দার্থিক ব্যবধান কার্যকরভাবে সমাধান করা হয়েছে, পরীক্ষামূলক ফলাফল প্রভাবশালী, ভাল ব্যবহারিক মূল্য এবং একাডেমিক প্রভাব সহ।