Em 13 de outubro de 2026, a IndexBox descreveu o Back-to-the-Future (BTTF) como um framework de pesquisa para organizar dados de simulação e responder a consultas de verificação de chips. O resultado de 95,33% em 150 consultas se refere à execução de SQL — não a uma taxa de chips corretos ou defeitos detectados. (IndexBox; ArXiv TLDR)
Como o BTTF organiza a verificação
Segundo a descrição da IndexBox, o fluxo começa com dados não estruturados gerados por simulações. O BTTF os organiza em um banco de dados relacional SQLite. Depois, uma orquestração de múltiplos agentes traduz perguntas de verificação em linguagem natural para consultas SQL — linguagem usada para consultar bancos de dados. O framework também relaciona anomalias nos sinais aos repositórios versionados de RTL, a representação do projeto eletrônico no nível de transferência entre registradores. (IndexBox)
Esse fluxo situa o BTTF na etapa de verificação pós-simulação, dentro da área de automação de projeto eletrônico, conhecida pela sigla EDA. Em termos práticos, a proposta descrita permite fazer perguntas sobre dados de simulação e relacionar sinais anômalos ao histórico do projeto. A descrição não informa quantos agentes participam nem detalha como essa correlação é avaliada.
O que os 95,33% medem
A IndexBox atribuiu ao BTTF 95,33% de precisão de execução em um benchmark com 150 consultas. Um resumo separado da ArXiv TLDR define a métrica como a execução bem-sucedida de consultas SQL associadas a perguntas anotadas por especialistas. (IndexBox; ArXiv TLDR)
Portanto, o percentual avalia se as consultas SQL foram executadas com sucesso naquele benchmark. Ele não mede a capacidade de detectar defeitos, comprovar que um chip está correto ou aprová-lo para fabricação. São etapas diferentes da verificação: executar uma consulta sobre dados não equivale a validar o projeto de hardware.
Um framework de pesquisa
A IndexBox apresentou o BTTF ao resumir um preprint de outubro de 2026 sobre infraestrutura de EDA para sistemas agênticos em verificação de chips. Assim, o BTTF é descrito como uma proposta de pesquisa, e o número divulgado se limita ao desempenho reportado nas consultas do benchmark. (IndexBox)
