VeriTrace: agente AI raggiunge un debug simile a quello umano nella generazione RTL Verilog

Un recente preprint su arXiv (2608.02878) introduce un sistema multi-agente chiamato VeriTrace, che affronta i limiti dei modelli linguistici di grandi dimensioni (LLM) nella generazione automatica di RTL Verilog. I sistemi multi-agente esistenti raggiungono un'accuratezza massima di circa il 95% su benchmark convenzionali, principalmente a causa di uno spazio di azione di debug limitato. Questa limitazione confina gli agenti a segnali specifici e finestre temporali, portando a un focus sul pattern matching invece che su un'analisi approfondita delle cause profonde. VeriTrace presenta un agente Ispettore che utilizza uno spazio di azione di debug completo, consentendo la selezione indipendente dei segnali, i parametri delle finestre temporali e la profondità di iterazione. Questo approccio innovativo, noto come Esplorazione Temporale Agentica, consente all'agente di formulare ipotesi sulle cause dei guasti, raccogliere prove dalle forme d'onda e migliorare iterativamente la sua comprensione, somigliando ai metodi investigativi degli ingegneri di verifica umani. La sottomissione è stata resa pubblica su arXiv come 2608.02878v1, segnando un notevole avanzamento nella progettazione hardware automatizzata, con il potenziale di migliorare l'efficienza e l'affidabilità della generazione RTL nei processi di progettazione dei chip.