Robuustheid van door LLM gegenereerde SystemVerilog-asserties tegen semantiekbehoudende RTL-transformaties

9. arXiv:2609.05658v1 Aankondigingstype: nieuw. Samenvatting: Grote taalmodellen (LLM's) worden steeds vaker onderzocht voor het automatiseren van het genereren van SystemVerilog Assertions (SVA), maar de meeste evaluaties rapporteren correctheid op één enkele syntactische representatie van een invoer. Zulke puntnauwkeurigheid onthult niet of de correcte output van een model stabiel is wanneer hetzelfde RTL-gedrag anders wordt geschreven. Dit artikel presenteert een gecontroleerde metamorfe evaluatie van LLM-gebaseerde SVA-generatie onder semantiek-behoudende RTL.