BTTF è descritto come un framework di ricerca che organizza i dati delle simulazioni per interrogare i risultati di verifica dei chip in linguaggio naturale. Il 95,33% associato al progetto riguarda l’esecuzione di query SQL su 150 quesiti, secondo la definizione riportata da un riepilogo secondario: misura una fase del flusso di lavoro, distinta dall’esito complessivo della verifica. IndexBox ha illustrato il framework il 13 ottobre 2026.
Come BTTF organizza i dati di simulazione
Nella descrizione di IndexBox, Back-to-the-Future (BTTF) trasforma i dump di simulazione, cioè i grandi insiemi di risultati generati dalle simulazioni, in un database relazionale basato su SQLite. Un sistema multi-agente tradurrebbe poi le domande di verifica formulate in linguaggio naturale in query SQL, il linguaggio usato per interrogare i database. Il flusso descritto collega inoltre le anomalie nei segnali ai repository versionati di RTL, la rappresentazione del progetto elettronico a livello di trasferimento tra registri.
In pratica, la proposta accosta due passaggi: strutturare i risultati della simulazione e permettere di interrogarli tramite domande in linguaggio naturale. Il collegamento con le versioni RTL affianca ai segnali osservati il contesto del progetto. IndexBox colloca il framework nell’ambito dell’EDA, l’automazione della progettazione elettronica, e lo presenta come un lavoro di ricerca in un preprint dell’ottobre 2026.
Che cosa misura il 95,33%
IndexBox riporta una precisione di esecuzione del 95,33% su un benchmark di 150 query. Un riepilogo di ArXiv TLDR descrive la metrica come la quota di query annotate da esperti eseguite con successo tramite SQL. Il risultato riguarda quindi l’esecuzione delle interrogazioni sul database; non esprime una percentuale di chip verificati correttamente o di difetti individuati. ArXiv TLDR ne riporta questa definizione.
La distinzione è concreta: una query eseguita correttamente indica che il sistema ha portato a termine l’interrogazione prevista, mentre la verifica di un chip coinvolge l’interpretazione dei risultati e il loro significato per il progetto. Il 95,33% descrive il primo passaggio nel benchmark citato, non l’intero processo di verifica.
