Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations

arXiv:2609.05658 · cs.LG · Submitted 2026-09-04 · Read on arXiv

cs.LG

Submitted: 2026-09-04

Updated: 2026-09-04

Comments: 10 pages, 3 figures, 5 tables

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Accuracy — 5× in this paper · explained in 1 episode
• Robustness — 3× in this paper · explained in 5 episodes
• Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation
• AIRL-S: Unifying Reinforcement Learning and Search-Based Test-Time Scaling via Adversarial Inverse Reinforcement Learning
• Transformers as Bayesian In-Context Experimenters: Smoothness-Adaptive Efficient ATE Estimation
• Convergence issues in Relational Concept Analysis based on AOC-posets
• Beliefs Beyond Posteriors: Local-Consistency Optimisation for Bayesian Neural Networks
• Understanding Diffusion Models via Ratio-Based Function Approximation with SignReLU Networks