上图意思是,假如使用 –setup option,默认约束的是 latch clock;假如使用 –hold option,默认约束的是 launch clock。箭头表示不同组合下时钟沿的移动方向。
假若只约束 setup,不约束 hold,当 -setup 使时钟沿移动时,做 hold check 的时钟沿也会跟着移动。
这一点特别需要注意。
例如,默认 worst case 是这样子:
假如只约束 setup 不约束 hold,实际上做分析的沿会变成这样子: