RTL与DC出来的netlist 用conformal lec做形式验证可行否？

夜明猪呵呵 · 发表于 2024-12-18 16:27:35

2596784844 发表于 2024-12-18 15:56
参考一下

谢谢，除了这个还需要吃什么文件吗？

2596784844 · 发表于 2024-12-18 16:36:19

夜明猪呵呵发表于 2024-12-18 16:27
谢谢，除了这个还需要吃什么文件吗？

analyze datapath 或者analyze compare的时候可以吃resources report辅助复杂设计验证，不过我感觉作用不是很大

[求助] RTL与DC出来的netlist 用conformal lec做形式验证可行否？