时序检查
一旦在触发器的时钟引脚上定义了时钟，便会自动推断出该触发器的建立时间和保持时间检查。时序检查通常会在多个条件下执行，通常，最差情况的慢速条件对于建立时间检查很关键，而最佳情况的快速条件对于保持时间检查很关键。
1.建立时间检查
在时钟的有效沿到达触发器之前，数据应在一定时间内保持稳定，即触发器的建立时间，该要求将确保数据可靠地被捕获到触发器中。
一个发起触发器和捕获触发器，这个捕获触发器的建立时间要求必须满足。建立时间的检查将验证从发起触发器到捕获触发器的最长路径。建立时间检查将确保上一个时钟周期发起的数据准备好在一个周期后被捕获。
时钟CLKM的第一个上升沿在Tlaunch时间后出现在发起触发器的时钟引脚上，由该时钟沿发起的数据出现在触发器UFF1的D引脚的所需时间为Tlaunch+Tck2q+Tdp。时钟CLKM的第二个上升沿出现在捕获触发器UFF1的时钟引脚上时间为Tcycle+Tcapture。这两个时间之差必须大于触发器UFF1的建立时间要求，以确保触发器UFF1可靠地捕获数据。
建立时间检查可用数学公式表示：
Tlaunch+Tck2q+Tdp < Tcapture
