Ritorno al futuro: ripensare l’infrastruttura EDA per i sistemi agentici nella verifica della progettazione dei chip

Abstract degli autori

La potenza di calcolo senza precedenti della moderna intelligenza artificiale dipende da complessi sistemi su chip con miliardi di transistor, eppure i processi di verifica di questi chip restano ostinatamente manuali. Sebbene i modelli linguistici di grandi dimensioni (LLM) si siano rapidamente affermati nell’automazione della progettazione elettronica (EDA), circa il 74,6% degli studi esistenti si concentra sulla generazione di codice statico a livello di trasferimento tra registri (RTL), lasciando pressoché inesplorate la verifica successiva alla simulazione e il debug interattivo delle forme d’onda. Presentiamo Back-to-the-Future (BTTF), un framework agentico end-to-end che colma questa lacuna infrastrutturale. BTTF condensa enormi dump di simulazione non strutturati in un database relazionale SQLite normalizzato e lo abbina a un motore collaborativo di orchestrazione multiagente, che traduce le richieste di verifica in linguaggio naturale in query SQL che tengono conto dello schema, correlando le anomalie dei segnali con i repository RTL versionati. Su un benchmark di 150 query, BTTF raggiunge un’accuratezza di esecuzione del 95,33%, tracciando una via praticabile verso la verifica EDA autonoma.