关于formality在match时停滞的问题

鲜虾鱼板面 · 发表于 2023-2-2 17:39:01

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

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

x

目前项目为rtl vs gl 在match时必定卡住，查看log，发现其已经顺利读取了svf的绝大部分内容，仅剩几行没有读取。
全篇都是accepted，没有rejected。
反复尝试多次都是在结尾处的特定行卡住，也没有报错。

唯一的warning是设计中的reg被视作了黑箱，我估计应该无影响。
想问下大家知道可能是什么原因吗？

喃艺 · 发表于 2024-7-9 11:26:28

楼主您好，这两天用formality做LEC也遇到同样的问题，在match这里卡主很久，看svf.txt文件感觉svf已经分析完了。请问一下楼主最后是怎么解决这个问题的。

喃艺 · 发表于 2024-7-9 11:28:28

这两天也遇到这个问题，match很久，svf.txt看已经读完了，请问楼主最后怎么解决这个问题的呀

[求助] 关于formality在match时停滞的问题

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

站长推荐 /2