DC综合后产生的default.svf

DC改变了RTL代码的结构,但是逻辑没有改变。比如很调整组合逻辑的位置,但是最终的功能是一样的。文件的后缀名为.svf,该文件用于后面的形式验证,即formality.

你可能感兴趣的:(DC综合后产生的default.svf)