关于综合库，后仿库，还有验证库的区别？

liheng369 · 发表于 2016-8-19 18:01:34

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

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

x

新人，不懂，又来了。
综合时用的工艺库：.lib和.db有什么不同？
之后的后仿用的：.db又有什么区别？我只知道可以由综合库转化而来。

最后的形式验证又用到共享工艺库：.db，又是什么？
不是说：验证摆脱了工艺的约束和仿真test bench的不完全性。

可是工艺影响延时，延时影响时序。没有工艺的话，只比较RTL和网表文件，不是不知道时序影响。
那就必须后仿时序仿真了额？
不是很懂形式验证，和时序仿真的定位？

求教大大们~

whr701 · 发表于 2016-10-18 09:55:45

同求，最近也在弄综合，求教大神解答

shaozhen · 发表于 2020-12-1 16:55:47

综合的.db库是由.lib转过来的，db是二进制的文件，lib是可读文件

[求助] 关于综合库，后仿库，还有验证库的区别？

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1