关于测量建立时间的一些疑问

墨水章鱼

    最近在学习单元库的特征化提取，在对于触发器的建立时间的测量上有一些问题，希望各位大佬能指点一二。

    我使用spectre对触发器的K库过程所有的vector进行了仿真，发现K库在测量触发器的setup时是使用二分法逼近，进行测量。

    从图中可以看到，K库先是做了gold，也就是setup给到了1.6ns，此时电路逻辑是正确的。然后K库setup给了250as（一行二列图），此时电路逻辑错误，也就是触发器的输出Q没有正常的变为高电平。
    之后K库一直使用二分法来给setup，最后给到了3.14ps（六行一列图），如果判断电路正确与否的标准是输出Q有没有正确变化，那么显然此次测试是正确的，在下一次测试中，K库应该继续向右逼近，给出1.5ps的setup。但是实际上K库给了4.71ps（六行二列），也就是K库认为该次测试的结果是错误的，因此需要向左逼近。

    我的问题就是，触发器的setup怎么判断是否逼近到了极限，也就是怎么界定setup是否让电路失效。