Trace2Skill: Evoluzione delle Competenze Guidata dal Verificatore per Agenti EDA a Contesto Lungo

Trace2Skill è un framework volto a scalare i test per migliorare gli agenti LLM hardware nell'affrontare Problemi di Progettazione Verilog Complessi (CVDP). Queste sfide comportano l'identificazione di RTL rilevanti per il verificatore, testbench, percorsi di inclusione e dipendenze di build all'interno di ampi snapshot di repository, l'esecuzione di modifiche precise e il recupero da fallimenti infrequenti del verificatore nascosto. Invece di perfezionare un modello focalizzato su RTL o semplicemente generare soluzioni candidate aggiuntive, Trace2Skill considera le capacità in linguaggio naturale dell'agente come una politica adattabile. Analizza le tracce di rollout ripetute per identificare pattern di successo e fallimento, trasformandoli in diagnostiche dettagliate e approfondimenti oracle. Un ciclo di oracle, mutatore e selettore viene impiegato per sviluppare competenze specifiche del compito che assistono nella successiva ricerca, modifica, validazione e recupero. Inoltre, a causa della natura spesso vaga delle etichette finali di superamento/fallimento riguardanti i fallimenti critici, Trace2Skill offre supporto per runtime delimitato.