使用Formality验证DC后的网表和APR后的网表时，怎么添加库文件？

四十五度向下 · 发表于 2024-8-5 15:11:42

您需要登录才可以下载或查看，没有账号？注册

x

可以使用read_db命令只加上DC时使用的库么

fhy420462303 · 发表于 2024-8-5 16:29:36

DC用啥，Formality用啥

fhy420462303 · 发表于 2024-8-5 16:32:01

其实你可以设置成和rtl验证时候一样的！最简单的方式就是DC用啥，Formality用啥！

fhy420462303 · 发表于 2024-8-5 16:33:16

和RTL验证设置成一样的呗。其实最简单的做法就是DC用啥，Formality用啥！

四十五度向下 · 发表于 2024-8-6 10:42:01

好的，谢谢大家，一开始问这个问题是不知道APR用的库是不是跟我DC用的库一样，会不会器件结构不同。后面了解了，其实器件结构也不影响功能，FT就是检查功能的，加什么库也不影响，因此-r -i的库就都使用DC库就可以了。

aaronqi · 发表于 2024-8-7 21:19:38

四十五度向下发表于 2024-8-6 10:42
好的，谢谢大家，一开始问这个问题是不知道APR用的库是不是跟我DC用的库一样，会不会器件结构不同。后面了 ...

我觉得，-r的用跟dc一样的lib；-i用跟apr一致的lib才是最稳妥的。

[求助] 使用Formality验证DC后的网表和APR后的网表时，怎么添加库文件？