在线咨询 切换到宽版
eetop公众号 创芯大讲堂 创芯人才网

 找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

搜帖子
楼主: 轻水一杯

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

[复制链接]
发表于 2024-12-18 16:27:35 | 显示全部楼层


谢谢,除了这个还需要吃什么文件吗?

回复 支持 反对

使用道具 举报

发表于 2024-12-18 16:36:19 | 显示全部楼层


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


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

使用道具 举报

发表于 2025-6-27 22:05:53 | 显示全部楼层
大概说一下:1. 读取svf.txt(formality读svf生成的明文) 2.LEC的安装路径下有个脚本,用那个处理svf.txt生成map文件,然后读取到lec中大概就行。 试过,可以。
另外情况:1. rtl例化dc独有的dw_ip:这种挺麻烦,需要读dc的gtech; 2. 做过retime应该就没法用lec跑了。
回复 支持 1 反对 0

使用道具 举报

发表于 2025-7-3 17:36:21 | 显示全部楼层


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


请问这个脚本叫什么名字呢
回复 支持 反对

使用道具 举报

发表于 2025-7-3 23:16:48 | 显示全部楼层


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


是个Python脚本,具体给忘了
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

手机版| 小黑屋| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2025-8-5 15:18 , Processed in 0.012381 second(s), 3 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表