Op 13 oktober 2026 beschreef IndexBox BTTF als een onderzoeksframework dat simulatiegegevens ordent voor chipverificatie. De publicatie meldde een score van 95,33% op 150 queries; een afzonderlijke samenvatting omschrijft die maatstaf als succesvolle SQL-uitvoering op door experts geannoteerde queries. IndexBox
Hoe BTTF simulatiegegevens verwerkt
Volgens IndexBox zet de beschreven aanpak ongestructureerde simulatiegegevens om in een genormaliseerde relationele database in SQLite. Een samenwerking tussen AI-agenten vertaalt verificatievragen in natuurlijke taal vervolgens naar SQL: de querytaal waarmee databases worden bevraagd. De aanpak koppelt ook afwijkingen in signalen aan versiebeheerde RTL-repositories. RTL staat voor register-transfer level, een manier om digitale schakelingen op een bepaald abstractieniveau te beschrijven. IndexBox
Die route brengt simulatiegegevens, databasevragen en ontwerpversies bij elkaar. Het framework wordt beschreven in de context van EDA: software voor het ontwerpen en verifiëren van elektronische schakelingen.
Wat meet de 95,33%?
IndexBox meldde 95,33% execution accuracy op een benchmark van 150 queries. Een aparte samenvatting definieert execution accuracy hier als het succesvol uitvoeren van SQL-query’s bij vragen die door experts zijn geannoteerd. ArXiv TLDR
De score gaat daarmee over de uitvoering van databasevragen binnen die benchmark. Hij beschrijft hoe vaak de SQL-taak slaagde, niet hoe vaak een chip correct werd geverifieerd. Die twee uitkomsten horen bij verschillende stappen: een query uitvoeren is iets anders dan vaststellen dat een ontwerp aan alle verificatie-eisen voldoet.
Een onderzoeksframework in een preprint
IndexBox beschreef BTTF als een onderzoeksframework in een preprint uit oktober 2026. De kern van het voorstel is een gegevenslaag waarmee AI-agenten simulatie-uitvoer kunnen bevragen en signalen aan RTL-versies kunnen koppelen. De gemelde benchmarkscore heeft betrekking op de SQL-uitvoering binnen die onderzoeksopzet.
