海龟 发表于 2010-6-26 00:14:02

听说mentor的0-in能进行亚稳态分析，是不是真的？

听说mentor的0-in能进行亚稳态分析，是不是真的？
小弟是新手，各位大哥能不能给详细介绍一下啊？

我不是少爷 发表于 2010-6-26 00:25:18

好像可以，以前在学习断言时，看过0-in的介绍里面有关于亚稳态的分析功能，你可以去那个公司的网站看下。

粉妮 发表于 2010-6-26 01:25:52

准确的说，0-in是对系统（module）内各种可能造成压稳态现象的逻辑进行检查，支持静态（formal）和动态检查。类似的，cadence的formal也有类似的功能。你可以看看他们的文档，有对各种可能出现压稳态violation的case的介绍。要会用，首先要对那些case都熟悉。

情迷布拉格 发表于 2010-6-26 02:06:50

LZ真前沿啊，我都没有听过这个。

海龟 发表于 2010-6-26 02:29:26

听说好像可以，但具体没研究过。

蓝雪 发表于 2010-6-26 03:04:45

学习 ！！！
页: [1]
查看完整版本: 听说mentor的0-in能进行亚稳态分析，是不是真的？