Il Framework COEVO Unifica la Correttezza Funzionale e l'Ottimizzazione PPA nella Generazione RTL Basata su LLM

Un nuovo framework co-evolutivo chiamato COEVO affronta le limitazioni nella generazione di codice RTL basata su LLM ottimizzando congiuntamente la correttezza funzionale insieme alle metriche di area, ritardo e potenza. I metodi attuali tipicamente separano questi obiettivi, scartando candidati parzialmente corretti ma architettonicamente promettenti attraverso pipeline sequenziali o gate di correttezza binari. COEVO integra la correttezza come dimensione continua all'interno di un singolo ciclo evolutivo, superando le riduzioni di fitness scalari che oscurano i compromessi. Il framework utilizza un testbench potenziato che fornisce punteggi granulari e diagnostiche dettagliate. Questo approccio contrasta con le dipendenze gerarchiche di ricompensa esistenti e i metodi di ricerca evolutiva che danno priorità alla correttezza prima della qualità PPA. La ricerca è stata pubblicata su arXiv con l'identificatore 2604.15001v2.