时序检查是指对建立（setup）和保持（hold）两种普通类型的时序分析进行具体分析。

时序分析有若干种类型。建立（setup）和保持（hold）是两种普通类型的时序分析，具体分析时也常常叫做时序检查（timing check）。根据要求，同步信号的终点（例如，寄存器数据输入D端）相对于时钟输入的关系，时序库必须提供时序检查setup和hold的定义。时序检查则规定，相对于时钟输入信号，在它发生改变之前与之后，输入的数据必须分别保持某个稳定的时间间隔，它们就是setup和hold（图1）。

Setup的定义为：在时钟作用前沿（或后沿）到达前，同步输入信号（D）必须保持稳定的那段时间以使信号不至于丢失。Hold的定义为：在时钟作用前沿（或后沿）到达后，同步输入信号（D）必须保持稳定的那段时间以使信号不至于丢失。由于时钟信号是连续的，为了便于分析，通常将图1中与setup和hold的定义参考点的时钟信号，即当前时钟叫做时钟信号的第二个周期（相对于图中的第一个时钟周期信号）。这种处理叫做相位移动（phase shift）。

如果时钟信号到达寄存器R带有定位（set）和复位（reset），这时对set信号也要做类似于setup的相应检查，它是用“恢复（recovery）”来表示的。同样，对reset信号还要做类似于hold的相应检查，它是用“消除（removal）”来表示的（图2）。