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

提出新型编程语言Bend，用数学证明保障AI系统行为正确性，并支持GPU加速执行。