论文Agent 与开发者10:19EquivSVA：面向等价 RTL 实现的形式化验证断言数据集研究 RTL 断言生成的可以看看，120 个行为族都做了形式化验证，还能测模型对等价实现的鲁棒性。#EquivSVA#SystemVerilog#Qwen2.5-Coder#形式化验证aarXiv cs.LG@FNU Aditi原文稍后读已读值得跟进有用关注 EquivSVA