断言（SVA）检查时钟尖峰毛刺

检测DUV产生时钟是否产生毛刺，特指同一仿真时间同时出现时钟clk的上升沿和下降沿的情况。

对于该clk，发现@（posedge clk）和@(negedge clk)只能分别检测正常时钟的上升沿和下降沿，无法检测出毛刺。但是@（posedge clk or negedge clk)  可以检测出毛刺。（也许@(clk)也可以，没试过）。

如果@（posedge clk or negedge clk) 然后$display("%h",clk);

正常时钟会是01交替：0101010101

毛刺时钟会是01交替但是毛刺的位置重复出现1：010101011（左边是毛刺）010101

通过这一点可以写断言检测毛刺：

//定义断言的属性
property glitch_check(signal);
  @(posedge signal or negedge signal);
  1 => ($past(signal) != signal);
endproperty

//使用断言
ast_clk_glitch: assert property(glitch_check(clk));