تولید مدل‌های سخت‌افزاری کاربردی و صوری به کمک مدل‌های زبانی بزرگ

دانشگاه پاریس-ساکله یک موقعیت دکتری سه ساله در آزمایشگاه CEA LIST ارائه می‌دهد که بر تولید خودکار مدل‌های سخت‌افزاری کاربردی و صوری با استفاده از مدل‌های زبانی بزرگ (LLMs) تمرکز دارد. این پروژه با توسعه روش‌شناسی‌هایی که تولید مبتنی بر مدل‌های زبانی بزرگ را با ابزارهای شبیه‌سازی و اعتبارسنجی صوری ترکیب می‌کند، به پیچیدگی معماری‌های سخت‌افزاری مدرن مانند پردازنده‌های RISC-V می‌پردازد. نامزد موفق برای کاهش تلاش‌های مدل‌سازی دستی و اطمینان از صحت مدل، از نزدیک با ناظران پژوهشی همکاری خواهد کرد. اعتبارسنجی عملی روی مطالعات موردی سخت‌افزاری واقع‌گرایانه انجام خواهد شد.