rtl-transformations

标签

#rtl-transformations

LLM生成的SystemVerilog断言对语义保持RTL变换的鲁棒性

arXiv cs.LG ↗ · 2026-09-10 缓存

本文评估了LLM生成的SystemVerilog断言在语义保持RTL变换下的鲁棒性，发现点精度可能隐藏了显著的不稳定性，并倡导在AI辅助硬件验证中进行鲁棒性感知评估。

0 人收藏 0 人点赞