{"id":"2609.05658","title":"Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations","url":"https://codeofpaper.com/paper/2609.05658","arxiv_url":"https://arxiv.org/abs/2609.05658","published":"2026-09-04","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}