BTTF ma porządkować dane z symulacji układów scalonych i ułatwiać zadawanie pytań o ich weryfikację. IndexBox opisał framework 13 października 2026 r. i podał, że w benchmarku 150 zapytań osiągnął 95,33% skuteczności wykonania. Według osobnego podsumowania pracy miara dotyczyła poprawnego wykonania zapytań SQL oznaczonych przez ekspertów.
Jak BTTF ma wspierać weryfikację chipów
W opisie IndexBox przepływ zaczyna się od nieustrukturyzowanych zrzutów z symulacji. BTTF ma przekształcać je w uporządkowaną, relacyjną bazę danych SQLite. Następnie system wielu agentów AI ma przekładać pytania w języku naturalnym na zapytania SQL, czyli polecenia służące do pobierania danych z bazy.
Framework ma też łączyć anomalie sygnałów z wersjonowanymi repozytoriami RTL. RTL, czyli opis projektu układu na poziomie transferu między rejestrami, pozwala powiązać obserwowane zachowanie z konkretną wersją projektu. BTTF wpisuje się tym samym w obszar EDA — narzędzi do komputerowego projektowania układów elektronicznych — i koncentruje się na analizie danych po symulacji.
Co mierzy wynik 95,33%
Wynik odnosi się do wykonania zapytań SQL w benchmarku obejmującym 150 zapytań. Podsumowanie ArXiv TLDR opisuje „execution accuracy” jako odsetek zapytań oznaczonych przez ekspertów, które zostały poprawnie wykonane. To miara obsługi zapytań w bazie danych; nie opisuje bezpośrednio wykrywania usterek ani poprawności całego układu.
Ta różnica ma znaczenie: poprawne uruchomienie zapytania mówi o tym, czy system potrafi wykonać polecenie SQL, a nie o tym, czy projekt chipu przeszedł weryfikację. Liczby 95,33% nie należy więc traktować jako ogólnego wyniku skuteczności weryfikacji sprzętu.
IndexBox przedstawił BTTF jako framework badawczy opisany w preprincie z października 2026 r.
