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

2596784844

   

夜明猪呵呵 发表于 2024-12-18 15:47
DC+LEC到底用哪些文件来替代svf这种效果呢？？按照前面的方法似乎不行

参考一下

夜明猪呵呵

   

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

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

2596784844

   

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

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

宅男勿用

大概说一下：1. 读取svf.txt(formality读svf生成的明文) 2.LEC的安装路径下有个脚本，用那个处理svf.txt生成map文件，然后读取到lec中大概就行。 试过，可以。
另外情况：1. rtl例化dc独有的dw_ip：这种挺麻烦，需要读dc的gtech； 2. 做过retime应该就没法用lec跑了。

cyannn

   

宅男勿用 发表于 2025-6-27 22:05
大概说一下：1. 读取svf.txt(formality读svf生成的明文) 2.LEC的安装路径下有个脚本，用那个处理svf.txt生 ...

请问这个脚本叫什么名字呢

宅男勿用

   

cyannn 发表于 2025-7-3 17:36
请问这个脚本叫什么名字呢

是个Python脚本，具体给忘了