在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),该文件代表了按
标签:文件,Formality,验证,SVF,DC,guide,FM From: https://blog.csdn.net/m0_50530331/article/details/139509716