时序分析理论基础总结
时序图:
由结合同步逻辑时延模型简化图和时序图可以分析静态时序中的各个参数
静态时序数据计算:
- 时钟偏斜:clock_shew=tclk2-tclk1;
- 数据到达时间:data_arrival_time = launch_edge+tclk1+Tco+t_delay;
- (1)建立数据所需时间
Data_require_time_Tsu= clk_arrival_time-Tsu = launch_edge+Tcycle+tclk2-Tsu;
(2)保持数据所需时间
Data_require_time_Tho= clk_arrival_time+Tho = launch_edge+Tcycle+tclk2+Tho; - 时钟到达时间:clk_arrival_time=latch_edge+tclk2=launch_edge+Tcycle+tclk2;
- Slack_setup=Data_require_time_Tsu-data_arrival_time
=clk_arrival_time-Tsu-data_arrival_time
= launch_edge+Tcycle+tclk2-Tsu-(launch_edge+tclk1+Tco+t_delay)
= Tcycle+clock_shew-t_delay-Tco- Tsu;
可以看到:当起始寄存器与目标寄存器之间的路径延时越大,slack越小。 - Slack_hold= data_arrival_time - Data_require_time_Tho
= data_arrival_time -clk_arrival_time+Tho
= launch_edge+Tcycle +tclk1+Tco+t_delay- ( launch_edge+Tcycle+ tclk2+Tho)
= clock_shew+ t_delay+Tco -Tho; - 最小时钟:即slack=0,即数据所需时间=数据到达时间
launch_edge+tclk1+Tco+t_delay= launch_edge+Tcycle+tclk2-Tsu
即Tcycle= tclk1+Tco+t_delay- tclk2+Tsu= Tco+t_delay +Tsu- clock_shew;