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

夜明猪呵呵 · 发表于 7 天前

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

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

2596784844 · 发表于 7 天前

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

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

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