每天学命令<check_timing>

check_timing 
[-type type_list ] 
[-verbose] 
[-check_only warning_list ] 
[-include_warning warning_list ] 
[-exclude_warning warning_list ] 
[-view view_name ] 
[ port_or_pin_list ] 
[-tcl_list] 
[{> | >> } file_name [.gz]] 

---

检查设计中timing constraint的一致性和完整性

---

-type   指定检查的类型，主要包括以下类型（clocks , clock_clipping , constant_collision , endpoints , input ,loops）

clocks: 主要报出以下的clock warning

clock_crossing: clock domain相互影响

clock_expected: 没有定义clock信号

clock_not_propagated：clock信号没有被传送到相关的pin上

ideal_clock_waveform：整个clock是ideal clock, 并没有被propagated

master_clk_edge_not_reaching:master clock没有到达generated clock上

no_gen_clock_source： 没有找到generated clock上的source clock

clock_clipping：主要检查一些clock clipping（时钟信号干扰）的问题，在clock gate的检查中，setup和hold check没法保证生成正确的clock信号。

clock_clipping_gate: 不合适的gate类型

clock_clipping_freq: 不合适的时钟源时钟信号周期和数据信号周期，数据信号周期Td需要等于整数倍的时钟信号周期Tc

clock_gating_inferred: 检查clock gating的一些问题，如下图所示