构建EquivSVA数据集，用于评估LLM生成的SystemVerilog断言是否捕获外部可观测行为，而非依赖特定RTL实现细节。