形式化验证简介及fm_shell脚本编写指南

#验证 #formality #lec

形式化验证是一种基于数学分析方法的验证技术，它通过算法引擎建立模型，对待测设计的状态空间进行穷尽分析的验证。在芯片设计中，形式化验证主要用于综合前后的等价性检查和RTL设计的功能验证。形式化验证的优势在于它可以提供精确、确定的结论，帮助开发人员减少迭代设计和测试的时间和成本。