日志
用高版本的DC 综合和formality验证无法比对出结果的现象记录
| ||
最近跑一个数字项目的流程，出现了formality比对超时，提示INCONCLUSIVE，timeout报告提示“op_abs_DW14”无法比对出来，但其实这个模块并不是很复杂的组合逻辑，只是一个求绝对值的模块，于是我试着重新综合，并且在命令compile_ultra前添加：
set_verification_priority -high [get_designs [*op_abs*]]
但结果还是一样，后面换了一个低版本的DC来综合，所有流程都很顺利，后续又基于这个项目做了一些测试，现象如下：
/1 
eetop公众号
创芯大讲堂
创芯人才网