STA分析(二) multi_cycle and false period, false, hold

yuyang911220

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。

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数。