【无标题】

cell:器件资源，包含LUT\reg\DSP\memory blocks\IO
edge path:port to pin 和 pin to port 和 pin to pin
clock path:port | generate clock pin to reg pin
data path:port | reg data output pin to reg din pin | port
asynchronous path :asynchronous reset or asynchronous clear

有1个setup检查：
本次launch edge 为参考，分析离本次launch edge 最近的上一个时钟沿。
有2个hold检查：

first检查 :本次 launch edge 不会被上一次的 latch edge 采样到。
second检查:本次 latch  edge 不会被下次 launch edge 采样到。

recovery 检查：
下一个时钟沿之前，clear信号最小的稳定时间。
removal
下一个时钟沿之后，clear信号最小的稳定时间。