TY  - RPRT
TI  - AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
AU  - Yan Tan
AU  - Xiangchen Meng
AU  - Zijun Jiang
AU  - Yangdi Lyu
PY  - 2026
UR  - https://arxiv.org/abs/2603.11489
ID  - 2603.11489
ER  -