从规格说明到形式化属性：AI工具能否胜任？

形式化验证领域长期面临属性编写困难的瓶颈，LLM的出现为自动将规范转化为SVA属性带来了新可能。知识图谱技术的引入提升了属性生成的准确性，可在数分钟内完成原本需数天的工作。然而，AI生成的属性集在结构覆盖上表现较强，但在...