BTTF est décrit comme un cadre de recherche qui organise des données de simulation pour permettre des requêtes de vérification en langage naturel. Le score de 95,33 % qui lui est attribué porte sur l’exécution de requêtes SQL parmi 150 requêtes, une étape logicielle du processus de vérification.
Le fonctionnement attribué à BTTF
Dans un article publié le 13 octobre 2026, IndexBox décrit un flux qui transforme des fichiers de sortie de simulation non structurés en une base relationnelle normalisée avec SQLite. Une orchestration multi-agents traduit ensuite les questions de vérification formulées en langage naturel en requêtes SQL adaptées au schéma de la base. Le système est également décrit comme reliant des anomalies de signaux à des dépôts versionnés de RTL, le niveau de description utilisé pour représenter la conception d’un circuit. IndexBox détaille le fonctionnement rapporté de BTTF.
Ce que mesure le score de 95,33 %
IndexBox rapporte une précision d’exécution de 95,33 % sur 150 requêtes. Un résumé secondaire précise que la métrique correspond aux requêtes SQL exécutées avec succès parmi des requêtes annotées par des experts. Elle porte donc sur l’exécution des requêtes, une tâche précise au sein du flux décrit, et non sur le résultat complet d’une vérification matérielle. Le résumé de la métrique précise sa portée.
IndexBox présente BTTF dans le cadre d’un préprint de recherche daté d’octobre 2026. Le résultat rapporté concerne ainsi une tâche de traitement et d’interrogation de données de simulation, plutôt qu’une mesure globale de la qualité d’une puce.
