En un resumen publicado el 13 de octubre de 2026, IndexBox describió Back-to-the-Future (BTTF) como un marco de investigación para organizar datos de simulación y consultarlos durante la verificación de chips. También le atribuyó un 95,33 % de precisión de ejecución en un benchmark de 150 consultas. Ese porcentaje mide la ejecución de consultas SQL, no la detección de defectos ni la corrección de un chip, según la definición publicada por ArXiv TLDR. IndexBox
Cómo describe BTTF el flujo de verificación
El resumen de IndexBox presenta un proceso que empieza con volcados de simulación sin estructurar y los organiza en una base de datos relacional normalizada con SQLite. Después, una orquestación de varios agentes convierte preguntas de verificación formuladas en lenguaje natural en consultas SQL, el lenguaje de consulta estructurado, adaptadas al esquema de esa base.
El flujo descrito también relaciona anomalías en las señales con repositorios versionados de RTL, o nivel de transferencia entre registros: una representación del diseño de un chip. La propuesta se sitúa en el ámbito de la automatización del diseño electrónico (EDA) y se centra en el análisis posterior a la simulación y la depuración.
Qué mide el 95,33 %
IndexBox atribuyó a BTTF un 95,33 % de precisión de ejecución en 150 consultas. ArXiv TLDR define esa métrica como la ejecución correcta de consultas SQL frente a consultas anotadas por expertos. Por tanto, el resultado se refiere a la ejecución de esas consultas; no expresa qué proporción de defectos detecta el sistema ni si un chip queda correctamente verificado.
La distinción importa: una consulta SQL puede ejecutarse correctamente sin que ese dato, por sí solo, mida la eficacia de la verificación del hardware. La cifra reportada caracteriza una tarea concreta del flujo descrito, no un resultado de aprobación final del chip.
IndexBox presentó BTTF como un marco de investigación descrito en un preprint de octubre de 2026.
