GoGoTB: Framework Agentico per la Verifica RTL con Chiusura della Copertura
Un recente articolo su arXiv introduce GoGoTB, un framework innovativo progettato per la verifica completa di RTL, superando le limitazioni degli attuali metodi basati su LLM. Questo framework comprende tre componenti principali: un livello di controllo dell'esecuzione agentico, un sistema di conoscenza adattabile e una chiusura della copertura basata sulle specifiche. Il livello di controllo dell'esecuzione distingue tra applicazione deterministica e ragionamento LLM in ogni strumento e fase di confine. Nel frattempo, il sistema di conoscenza fornisce competenze su misura per metodologia e progettazione secondo necessità. Infine, il framework di copertura garantisce che la copertura riportata sia allineata con i requisiti delle specifiche. La ricerca è condotta da un team di ricercatori ed è accessibile su arXiv.
Fatti principali
- 1. GoGoTB è un framework agentico per la verifica RTL.
- 2. Affronta disallineamenti di interfaccia e copertura disconnessa nella verifica basata su LLM.
- 3. Il framework ha tre sottosistemi: controllo dell'esecuzione, sistema di conoscenza, chiusura della copertura.
- 4. Il controllo dell'esecuzione separa l'applicazione deterministica dal ragionamento LLM.
- 5. Il sistema di conoscenza distribuisce competenze su richiesta.
- 6. La chiusura della copertura è basata sulle specifiche.
- 7. L'articolo è su arXiv con ID 2607.26181.
- 8. La verifica funzionale domina lo sforzo di ingegneria front-end dei circuiti integrati.
Entità
Istituzioni
- arXiv