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

tariya321

   

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

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