[求助] 【已解决】Formality使用问题求助

发表于 2023-11-20 19:59:26 | 显示全部楼层

yangxuchen 发表于 2023-1-12 14:50
你好，请问你是对这提示的hard point 进行 set_verification_priority 还是直接 set hdlin_verification_ ...

先用analyze_points -unverified命令查出来是哪个模块优化的太狠了，
然后在下一次compile_ultra之前，给该模块加上set-v-p命令，
这样就给DC指定了：优先让模块通过verify，而不是重点优化

回复支持 1 反对 0

12 / 2 页

高级模式

您需要登录后才可以回帖登录 | 注册

本版积分规则回帖后跳转到最后一页

GMT+8, 2025-2-19 09:09 , Processed in 0.011559 second(s), 7 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

站长推荐 /2