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 zeitaufwendig und fehleranfällig. Aktuelle Ansätze, die große Sprachmodelle (LLMs) n…