PofoliaPofolia ile paylaşıldı

ACM Transactions on Reconfigurable Technology and Systems· 2026Q2

Zamanlama Mantığı Metamorfozu Yoluyla LLM Destekli RTL Kodu Optimizasyonunu Yeniden Düşünmek

Rethinking LLM-aided RTL Code Optimization Via Timing Logic Metamorphosis

Zhihao Xu, Bixin Li, Ran Yan, Lulu Wang ve diğerleri

Kısa özet

LLM destekli RTL kodu optimizasyonu, mantık işlemleri ve veri yolları için etkilidir, daha düşük alan/tel sayıları ve kararlı gecikmeler elde ederken, karmaşık zamanlama kontrol akışı ve saat alanları için sınırlı kazançlar ve artan hatalar göstermektedir.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Ana noktalar

  • Mantık işlemleri, veri yolları, zamanlama kontrol akışı ve saat alanları genelinde LLM destekli RTL optimizasyonunu değerlendirmek için metamorfik test kıyaslaması geliştirildi.
  • LLM'ler, mantık işlemleri ve veri yollarını etkili bir şekilde optimize ederek daha düşük veya kararlı tel sayıları/alanlar ve temel seviyeye yakın gecikmeler sağlıyor.
  • Zamanlama kontrol akışı ve saat alanları için optimizasyon kazançları sınırlıdır ve yapısal oranlar genellikle artıyor.
  • Daha büyük kod boyutları ve karmaşık zamanlama/alanlar arası tasarımlar, LLM'lerin hatalı yeniden yazma olasılığını artırıyor.

Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.

Özet (abstract)

Register Transfer Level (RTL) code optimization is critical for meeting performance and power budgets in Field Programmable Gate Array (FPGA) design. Traditional approaches depend on expert knowledge or heuristics, which are time consuming and error prone. Therefore, recent research has explored using Large Language Models (LLMs) for RTL code optimization and providing initial evidence of their potential. However, the capabilities and limitations of LLMs in RTL code optimization have not been systematically assessed, especially for RTL with complex timing logic. Moreover, these studies cannot distinguish whether improvements come from genuine reasoning or merely reproducing memorized patterns from training data. To address these problems, we present a metamorphic testing based evaluation method and a companion benchmark to measure the effectiveness of LLM-aided RTL code optimization. Our key idea is that optimization effectiveness should be consistent across RTL descriptions that are semantically equivalent. We first build a benchmark suite covering four domains (logic operations, datapaths, timing control flow, and clock domains). We then apply domain specific transformations to produce semantically equivalent RTL code with different code forms. We assess each method by applying it to both the original and the transformed code, synthesizing them with the same flow, and comparing the synthesis results. Through extensive experiments, our results show that LLM-aided methods effectively optimize logic operations and data paths, achieving lower or stable wire counts and area with delays near baseline. For timing control flow and clock domains the gains are limited and structural ratios often rise. Larger code size also increases the chance of incorrect rewrites, especially in timing and cross domain designs. We further explore the application of prompt engineering include few shot examples and Chain of Thought (CoT) to improve RTL code optimization. Based on these results we discuss practical directions and give concrete suggestions for using LLMs in RTL optimization.

Yazarların özeti; kaynağından alınmıştır. ACM Transactions on Reconfigurable Technology and Systems, 2026 · DOI ↗

ÇıkarımlarPremium
Makaleye SorÜcretsiz hesapla

Ücretsiz hesapla devam et

Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.

Web'de ücretsiz devam et

Google ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.

Telefonda:

Alan: Donanım ve Mimari

Hardware and ArchitectureComputer Science