0-in求助

yanghui714 · 发表于 2010-1-14 23:19:49

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

x

听说mentor的0-in能进行亚稳态分析，是不是真的？
小弟是新手，各位大哥能不能给详细介绍一下啊？
要是能有资料就更好了。
多谢大哥们啊！~

wangyingwei · 发表于 2010-1-17 11:48:15

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

fslrayman · 发表于 2010-1-25 12:49:01

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

amormio124 · 发表于 2010-2-10 10:55:23

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

sagegao · 发表于 2010-3-23 20:01:47

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

ajian2971 · 发表于 2010-6-23 16:07:36

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

yan_hg · 发表于 2010-6-25 23:21:31

学习！！！

hometown_wy · 发表于 2010-6-26 13:45:46

lz真前沿啊，学习！

shufeng123 · 发表于 2011-3-25 20:33:04

可以的

diyangguang · 发表于 2014-4-23 11:22:09

楼主有这个文件的破解码？

[求助] 0-in求助