innovus中时序路径debug及命令使用详解？

 

写在前面：发现place结果所有与outport相关的timing check都找不到？

刚开始怀疑是sdc约束问题，check了input sdc文件及enc.dat/mmmc/mode/func.sdc

看一下是否设置了set_false_path.当然也可以用命令报出来:

report_timing -unconstrained -to output_portxxx

-unconstrained可以报出来没有约束的路径（比如false掉的路径）

update_constraint_mode -name func -sdc_files xxxx.sdc

这个命令可以更新sdc，重新report timing

all_outputs：抓到所有的outport

all_clocks：报出来所有的clock

all_fanin -to [all_outputs  ]  -startpoints_only  -only_cells

report_analysis_coverage -verbose untested > xxx.file

写出来untested的path的原因