report_annotated_check是一个用于查看时序分析中annotated和non-annotated情况的命令，支持设置检查类型、最大行数、实例列表等选项。它可以帮助用户了解setup、hold等不同类型的时序检查，并可以将结果输出到文件或以TCL命令形式展示。文章提供了一些使用示例和时序分析的基础知识。
report_annotated_check
[-check_type check_type_list ]
[-max_line number ]
[instance_list]
[-list_annotated]
[-list_non_annotated]
[-view viewName ]
[> | >> filename [.gz] | -tcl_list]
这个命令可以报出timing arc的annotated情况
-check_type 指定检查的类型，包括setup , hold , pulse_width , clock_period , clock_gating_setup , clock_gating_hold , clock_gating_pulse_width, data_setup, data_hold , recovery , removal , clock_separation , skew 各种类型的区别可以参考report_analysis_coverage
-max_line 指定list_annotated或者list_non_annotated最多列出的行数
instance_list 指定想要check的instance名字
-list_annotated 列出详细的annotated的timing arc情况
-list_non_annotated 列出详细的没有annotated的timing arc情况
-view 指定analysis view
> | >> filename [.gz] 输出到指定文件中
-tcl_list 以tcl命令的格式输出
例子：
> report_annotated_check -list_annotated
----------------------------------------------------
Setu
最低0.47元/天 解锁文章
1286
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
