STA分析(二) multi_cycle and false
multicycle path:当FF之间的组合逻辑path propagate delay大于一个时钟cycle时,这条combinational path能被称为multicycle path。
create_clock -name CLKM -period 10 [get_ports CLKM]
set_multicycle_path 3 -setup -from [get_pins UFF0/Q] -to [get_pins UFF1/D]
set_multicycle_path 2 -hold -from [get_pins UFF0/Q] -to [get_pins UFF1/D]
-setup指定,对于setup check,新的setup check edge相对于默认的setup check edge(Capture FF)向后移动的时钟数。
-hold指定,对于hold check,新的hold check edge相比于默认的setup check edge(Capture FF前一时钟)向前移动的时钟数。
在多数的design中,一个N multicycle setup应该与一个N-1 multicycle hold相对应,以保证hold check维持在同一时钟,否则极容易slack
violated,因为hold check edge太晚于launch edge,使得data required time很大。
False Path:通过设置false path,可以turn off一些paths。
set_false_path -from [get_clocks SCAN_CLK] -to [get_clocks CORE_CLK] 任何从SCAN_CLK到CORE_CLK的path都为false path
set_false_path -through [get_pins UMAX0/S] 任何经过UMAX0这个节点的path都为false path
set_false_path -to [get_ports TEST_REG*] 任何以TEST_REG*为终点的path都为false path
Half-Cycle Path:当一个design中既有negative_edge FF又有positive_edge FF时,一个从positive_edge FF到negative_edge FF会设置为half-cycle
path。或者相反也可。
Half-cycle path使得setup check变的更为严峻,因为一个cycle变为半个cycle。但是hold check却得到了半个cycle的余量。
Removal Timing Check:异步信号的release必须在active clock edge后的一段时间,以便这个异步信号的变化在下一clock edge被识别。
这个时间称为removal time。
这是一个min path check,类似于hold check。Path group称为async_default
Recovery Timing Check:异步信号的inactive必须在active clock edge前的一段时间,以便这个clock edge能够识别这个异步信号的变化。
这个时间称为recovery time。
这是一个max path check,类似于setup check。Path group称为async_default。
首先设计异步复位,同步释放的逻辑,如果reg的clock可以先gate掉,再进行rst,recovery timing是可以不检查的,否则还是要检测sync FF输出到第一级FF的recovery time的。
但是removal是通过clock采样rst来的,所以需要检查removal timing
Slow to Fast Clock Domains:当design中有一个从Slow domain到Fast domain时,
create_clock -name CLKM -period 20 -waveform {0 10} [get_ports CLKM]
create_clock -name CLKP -period 5 -waveform {0 2.5} [get_ports CLKP]
这时default setup check edge是在Fast domain中后一个clock。default hold check是setup check edge前一个时钟。
此时可以通过set_multicycle_path命令来设置新的setup check edge和hold check edge。保证setup和hold check以Slow clock为准。
-end表示以Fast clock为单位计数,setup后移clock数和hold前移的clock数。
Fast to Slow Clock Domains:此时应该check most restrictive路径。对于setup check,Capture FF前的一个Fast clock。
对于hold check,default hold check edge后的第一个Fast clock。
此时应该使用-start表示以Fast clock为单位计数,setup后移clock数和hold前移的clock数。