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

xmf6227 · 发表于 2021-1-19 11:38:18

nice share

lansen0815 · 发表于 2021-9-26 09:38:44

nice share！！

weihemin · 发表于 2022-5-31 11:31:56

To record setup information for formal verification tools other than Formality, use the
set_vsdc command. The command records setup information in V-SDC format for efficient
compare point matching in third-party formal verification tools. The V-SDC format is a subset
of the automated setup file used by Formality. The V-SDC file is written in plain text, whereas
the automated setup file is encrypted and compressed.

weihemin · 发表于 2022-5-31 11:37:40

可以在DC中使用set_vsdc命令

huhu1 · 发表于 2022-10-18 15:01:27

你好，最近在学习Conformal LEC工具有两个疑问，请大佬帮忙

huhu1 · 发表于 2022-10-18 15:05:40

ghxy 发表于 2017-3-22 14:22
个人经验：
conformal LEC 做验证的时候，一般情况下，如果设置正确，出来的golden和revised file里面的key ...

你好，最近在学Conformal LEC ，遇到两个问题，请大佬帮忙解决一下，非常感谢！！！1-在LEC进行verification时会出现unmapp的情况，请问有没有什么办法确定这是由于文件本身的问题，还是因为我们建模策略不全的原因呢？或者像Formality一样可以吃进DC产生的svf文件，进行一个对比验证。吃进svf文件时，验证通过，不吃的时候验证不过，代表我们的建模策略不对。

2-DC综合时，如何产生LEC所需要的dofile呢？

lingrui77 · 发表于 2023-10-9 16:41:58

:lol:lol

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

站长推荐 /2