IndexBox beschrieb am 13. Oktober 2026 Back-to-the-Future (BTTF) als Forschungsrahmen, der Simulationsdaten für natürlichsprachliche Fragen zur Chipverifizierung aufbereiten soll. Für einen Benchmark mit 150 Anfragen meldete IndexBox eine Ausführungsgenauigkeit von 95,33 Prozent. Eine separate Zusammenfassung definiert die Kennzahl als erfolgreiche Ausführung von SQL-Abfragen zu von Fachleuten annotierten Fragen (IndexBox, ArXiv TLDR).
Wie BTTF Simulationsdaten für Abfragen aufbereiten soll
Laut IndexBox soll BTTF große, unstrukturierte Simulationsausgaben in einer normalisierten relationalen Datenbank auf Basis von SQLite bündeln. Eine koordinierte Gruppe von KI-Agenten übersetzt natürlichsprachliche Verifizierungsfragen in SQL-Abfragen, die auf das Datenbankschema zugeschnitten sind. SQL (Structured Query Language) ist eine Abfragesprache für relationale Datenbanken.
Zum beschriebenen Ablauf gehört außerdem, Signalanomalien mit versionierten RTL-Repositories zu verknüpfen. RTL steht für Register-Transfer Level und bezeichnet eine Darstellung digitaler Schaltungen auf Register-Transfer-Ebene. So soll der Ansatz Fragen zu Simulationsergebnissen mit einer bestimmten Version des Schaltungsentwurfs zusammenführen.
Was die 95,33 Prozent messen
Die Ausführungsgenauigkeit beschreibt hier, ob SQL-Abfragen im Benchmark erfolgreich ausgeführt wurden. Sie ist daher keine Quote für erkannte Chipfehler und keine Messung der Chipkorrektheit oder einer Freigabe für die Siliziumfertigung. Der Wert bezieht sich auf die Abfrageausführung bei den 150 Anfragen.
IndexBox ordnete BTTF einem arXiv-Preprint aus Oktober 2026 mit dem Titel Back to the Future: Rethinking EDA Infrastructure for Agentic Systems in Chip Design Verification zu.
