常用的时序检查语句

（1）setup 建立时间检查
$setup(data, posedge clk, tSU);

（2）hold 保持时间检查
$hold(posedge clk, data, tHLD);

（3）setuphold 建立/保持时间检查
$setuphold(posedge clk, data, tSU, tHLD);

（4）width 脉冲宽度检查
$width(posedge clk, 4);

（5）skew 时钟歪斜检查
$skew(posedge clk1, posedge clk2, 4);

（6）period 时钟周期检查
$period(posedge clk, 5);

（7）recovery 复位信号的恢复时间检查
$recovery(posedge rst, posedge clk, 3);

（8）removal 复位信号的移除时间检查
$removal(posedge rst, posedge clk, 3);

（9）recrem 复位信号的恢复/移除时间检查
$recrem(posedge rst, posedge clk, recovery_limit, removal_limit);