Zespół badawczy opracował GoGoTB, agentic framework do weryfikacji projektów RTL, który osiągnął 100-procentowy sukces w generowaniu kompleksowych środowisk testowych bez żadnej ludzkiej interwencji. System był testowany na ośmiu różnych projektach i wykazał imponujące wyniki: 98,4 procent coverage linii, 97,2 procent coverage gałęzi, 97,0 procent toggle coverage i 83,2 procent functional coverage. Żadna poprzednia metoda nie osiągnęła takich rezultatów na tych benchmarkach.
Podstawowy problem, który rozwiązuje GoGoTB, to niedoskonałość istniejących podejść opartych na LLM-ach. Dotychczasowe systemy generowały komponenty weryfikacji niezależnie, w pojedynczych interakcjach bez wspólnego kontekstu, co prowadziło do niezauważonych niedopasowań interfejsów i coverage odłączonego od wymagań specyfikacji. GoGoTB zmienia to podejście poprzez trzy kluczowe subsystemy: warstwę sterowania wykonaniem rozdzielającą logikę deterministyczną od rozumowania LLM-a, adaptacyjny system wiedzy dostarczający ekspertyzę metodologiczną na żądanie, oraz framework coverage zakotwiczony w konkretnych zachowaniach zdefiniowanych w specyfikacji.
Weryfikacja funkcjonalna dominuje w pracy inżynierów IC na etapie front-end, a każdy błąd, który przejdzie niezauważony aż do produkcji kremowych chipów, jest niezwykle kosztowny. GoGoTB reprezentuje przełom w automatyzacji tego procesu, potencjalnie zmniejszając zagrożenie dla niezawodności projektów elektronicznych na dużą skalę. Framework dostarcza diagnozy przyczyn każdej luki w pokryciu, co umożliwia ukierunkowaną naprawę.