如何验证时序问题是Tsetup违例还是Thold违例

方案：

可以先改变clk周期（延长clk周期）,如果问题解决是Tsetup问题，如果不解决，延长组合逻辑延时，如果解决是Thold问题。

分析：

1、建立时间与时钟周期和组合逻辑延迟均相关

     数据传输延时 <= 时间传输延时 + 时钟周期 - 建立时间

     Tclk1 + Tco + Tcomb_logic + Tnet <= Tclk2 + Tperiod - Tsu

     即：

    Tskew+ Tperiod - Tsu - Tco - Tcomb_logic - Tnet >= 0

    改变Tperiod ，如果时序问题解决，就可以断定是建立时间违例问题；

2、保持时间仅和组合逻辑延迟相关

    数据传输延时 >= 时间传输延时 + 保持时间

    Tclk1 + Tco + Tcomb_logic + Tnet >= Tclk2 + Th

    即：

    -Tskew + Tco + Tcomb_logic + Tnet - Th>= 0

    改变Tperiod ，如果时序问题未解决，而延长组合逻辑延时以后如果时序问题解决，就可以断定是保持时间违例问题；

     3、 注意：

     不能先延长组合逻辑延时，判断保持时间违例问题；因为建立时间与组合逻辑延时也有关。