Naukowcy opracowali GoGoTB – framework oparty na agentycznych modelach językowych, który automatyzuje weryfikację funkcjonalną układów scalonych i eliminuje błędy wykrywane dopiero na krzemie. System zapewnia pełne zamknięcie pokrycia specyfikacji dzięki trzem zintegrowanym podsystemom.
Wyobraź sobie, że budujesz procesor i dopiero po wylaniu krzemu odkrywasz, że coś nie działa tak, jak powinno. GoGoTB to odpowiedź na ten koszmar inżynierów: framework oparty na agentycznych modelach językowych, który automatyzuje weryfikację funkcjonalną układów scalonych zanim te trafią do produkcji. Trzy zintegrowane podsystemy mają razem zapewnić pełne pokrycie specyfikacji, czyli nic nie ma prawa umknąć.
Brzmi jak zbawienie dla branży półprzewodników, ale warto zapytać wprost: czy "pełne zamknięcie pokrycia specyfikacji" to inżynierska rzeczywistość, czy marketingowy skrót myślowy? LLM wciąż potrafią halucynować z rozmachem, a błąd w weryfikatorze bywa groźniejszy niż błąd w samym projekcie.
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryg
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google