（FM）Formality 基础知识简介-SVF

        在Formality中，SVF（Setup Verification for Formality）文件扮演着重要的角色，能够帮工具理解和处理由于其他工具的使用而引入的设计变更。Formality是一个形式验证工具，用于完成表面逻辑的验证，确保在导入RTL代码和DC综合后的门级网表前后逻辑的一致性。而SVF文件，是DC综合过程中产生的文件，用于记录DC对网表产生的一些变化，防止后续的RTL和门级网表对应不上的问题。
    当EDA工具（如DC、FC）对设计进行综合时，它会记录操作信息，包括基本环境信息、寄存器复制、寄存器相位反转、ungroup和边界优化等操作。这些信息会被记录到.svf格式的文件中，并随后提供给Formality。Formality处理这类文件的过程就被称为“guidance”。

    在SVF文件读取结束时生成如下表（可以通过 report_guidance -summary报出）：

 

•Accepted-Formality验证将guide命令应用于参考设计。

•Rejected-Formality无法验证或无法将guide命令应用于参考设计。

•Unsupported- Formality目前不支持guide命令。

•Unprocessed -Formality尚未处理guide命令。这通常发生在检查点验证暂停处理时。

    无论读入多少个SVF文件，Formality都会创建一个单独的解密后的SVF文件（svf.txt），该文件