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

lespomme · 发表于 2017-3-24 08:42:43

学习了

jiegeng66 · 发表于 2017-5-9 09:11:37

本帖最后由 jiegeng66 于 2017-5-9 09:14 编辑

回复 10# ghxy

你好，DC之后怎么进行lec，网上说是用rc产生do文件，那用DC怎么进行lec，需要怎么样产生do文件，看了楼上的说用report_resources，可是依然不对

charle_song · 发表于 2018-1-9 15:55:30

学习了

wyfchinaitlab · 发表于 2018-2-28 05:12:03

conforml LEC

gubels · 发表于 2018-8-19 16:20:41

回复 1# 轻水一杯

report?

shuzi_ic · 发表于 2018-11-2 15:19:32

同样在学LEC，命令不知道怎么看

Andy126 · 发表于 2018-12-18 19:05:01

shishenren · 发表于 2019-5-9 09:49:17

longever 发表于 2016-11-11 15:49
我在用lec 中加载filelist 中有很多.vp文件不知道是不是和普通的verilog文件读法一样？现在老是报告模块 ...

LEC 不能识别.vp格式，.vp格式是simulation的加密档，可以换成.vpx 文件(LEC吃的加密档)

hitten · 发表于 2019-5-9 10:23:47

dc+conformal 对于简单模块式可以的。
但是对于复杂模块，很多名称不能map，会造成fail；
所以不能保证这种流程对所有模块都适用。
最好的方法是dc+formal，然后用conformal再二次检查，conformal能过最好，过不了仍然有formal结果备份；

learnsure · 发表于 2020-1-15 11:14:13

Mark。。。。。。。。。

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