使用SystemVerilog断言（SVA）进行形式化属性验证（FPV）对于确保设计相对于规范的完整性至关重要。然而，编写SVA是一项费力的任务，并且学习曲线陡峭。在这项工作中，我们提出了一种基于大型语言模型（LLM）的流程来自动生成高质量的SVA，该流程来自设计规范文档，名为\ToolName。我们引入了一种新颖的子任务集中微调方法，有效地解决了基线LLM生成的函数错误断言，从而使功能正确的断言数量显著增加了7.3倍。认识到语法和语义错误的普遍性，我们还开发了一种迭代细化方法，通过系统地重新提示LLM以纠正已识别的错误来增强LLM的初始输出。一个定制的编译器会生成有意义的错误消息，从而指导LLM提高准确性，进一步增强了此过程。实验表明，使用这种方法，无语法错误的断言数量增加了26%，展示了其简化FPV流程的潜力。