Forschung
STELLAR: Strukturbasierter LLM-Ansatz für SystemVerilog Assertions
In der Formalen Verifikation (FV) sind SystemVerilog Assertions (SVAs) entscheidend, doch das manuelle Schreiben dieser Assertions ist zeit…
arXiv – cs.AI