一个关于setup time slack的小问题

本人萌新，最近在看时钟树综合方面的内容，复习setup time基本概念以及相关计算的时候有个小问题一直想不明白:
这是我读书时候的笔记：
两个触发器D1，D2串联，假设clk1和clk2存在skew，clk1的延时为T1，clk2的延时为T2，则
Tclk1+Td1+Tdata(q1~d2)+Tsetup slack=T+Tclk2-Tsetup time of d2（式一）
由此可得： Tsetup slack=T+Tskew-(Td1+Tdata)-Tsetup time of d2 （其中Tskew=T2-T1）（式二）

不知道这样写大家能不能看懂，我查过资料这个结果的确是对的，可是我绞尽脑汁也想不出为什么式一的最后是减去D2触发器的setup time啊?
如果能有人详细说一说自己的理解就好了，我这人挺较真的，不理解的东西死记硬背是完全记不住的。

你的方程式是计算D2寄存器的setup是否违规，所以是减D2的setup时间

我知道了！我想通了！
因为data信号要比时钟信号更早地到达D2，所以代表data信号传输时间的式一的左边应该小于右边！
所以右边应该是减去setup time！
要是还有朋友对这方面的计算或者概念有疑问欢迎在下面留言我们一起讨论，特别希望可以借此发现自己的不足之处并且及时改正。