TL;DR
- چکیده:.
- تأیید عملکردی بیش از 50 درصد از چرخه عمر توسعه IC را مصرف میکند،.
- جایی که اظهارات SystemVerilog (SVA) برای تأیید رسمیدارایی و اشکال زدایی مبتنی بر شبیهسازی پیشرفته ضروری.
چه اتفاقی افتاد
چکیده:. تأیید عملکردی بیش از 50 درصد از چرخه عمر توسعه IC را مصرف میکند،.
جایی که اظهارات SystemVerilog (SVA) برای تأیید رسمیدارایی و اشکال زدایی مبتنی بر شبیهسازی پیشرفته ضروری. هستند.
با این حال، نوشتن دستی SVA کار فشرده و مستعد خطا است. در حالی که مدلهای زبان بزرگ (LLM) امیدوارکننده هستند،.
استقرار مستقیم آنها به دلیل دقت عملکردی پایین و کمبود شدید دادههای خاص دامنه مانع میشود. برای رسیدگی به این چالشها،.
ما ChatSVA را معرفی میکنیم،. یک سیستم تولید SVA سرتاسری که بر اساس یک چارچوب چندعاملی ساخته شده است.
در هسته خود،. پلتفرم AgentBridge این رویکرد چندعاملی را با تولید سیستماتیک مجموعه دادههای با خلوص بالا،.
غلبه بر کمبود دادههای ذاتی سناریوهای چند شات،. ممکن میسازد.
ChatSVA که بر روی 24 طرح RTL ارزیابی شده است، به 98. 66 ٪ نحو و 96.
12 ٪ نرخ عبور عملکردی دست مییابد و 139. 5 SVA در هر تولید میکند.
طراحی با پوشش عملکرد 82. 50 ٪.
این نشان دهنده بهبود 33. 3 درصدی در صحت عملکرد و افزایش بیش از 11 برابری در پوشش عملکرد در مقایسه با پیشرفته.
ترین حالت قبلی (SOTA) است. ChatSVA نه تنها یک SOTA جدید را در تولید خودکار SVA تنظیم میکند،.
بلکه یک چارچوب قوی برای حل مشکلات استدلال زنجیره بلند در سناریوهای چند شات و دامنه خاص ایجاد. میکند.
یک سرویس آنلاین به صورت عمومیدر این URL https منتشر شده است. توسط DAC 2026 پذیرفته شده است معماری سخت افزار (cs.
AR)؛ هوش مصنوعی (cs. AI) استناد بهعنوان: (یا v1 [cs.
AR] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) پیوند (های) منابع مرتبط تاریخچه ارسال از:.
Lik Tung Fu [مشاهده ایمیل] [v1] جمعه،. 3 آوریل 2026،.
07:. 24:.
14 UTC (3,. 133 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.