0-in求助

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

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

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

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

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

学习 ！

lz真前沿啊，学习！

可以的

小编有这个文件的破解码?

thank you

I need it too