Arcane: Framework di Riduzione delle Asserzioni per la Verifica Hardware
Arcane è un innovativo framework di riduzione delle asserzioni progettato per mitigare il sovraccarico di simulazione nella verifica basata su asserzioni (ABV) eliminando le asserzioni ridondanti. Combina un approccio di clustering semantico a due livelli per la classificazione accurata di grandi insiemi di asserzioni con la ricerca ad albero Monte Carlo (MCTS) per esplorare sequenze ottimali di applicazione delle regole. Testato su Assertionbench, Arcane riduce il numero di asserzioni fino al 76,2%, preservando completamente la copertura formale e la capacità di rilevamento delle mutazioni, ottenendo un'accelerazione della simulazione di 2,6x.
Fatti principali
- Arcane integra clustering semantico a due livelli ed esplorazione delle regole guidata da MCTS.
- Raggiunge fino al 76,2% di riduzione del numero di asserzioni.
- Preserva la copertura formale e la capacità di rilevamento delle mutazioni.
- Accelerazione della simulazione di 2,6x.
- Valutato sul dataset Assertionbench.
- Affronta la ridondanza nella generazione di asserzioni basata su LLM.
- Proposto come framework efficiente per la riduzione delle asserzioni.
- Destinato alla verifica del progetto hardware.
Entità
—