punkchang88的博客

Examplesproperty check (@ posedge clk) $rose(a) -> ##1 b[*3] ##1 cendproperty checker : assert property(check)在上式中，需要关注的两点：并发断言的采样时钟边沿的跳变，是否和时序逻辑采样值一样？$rose和posedge是否一样？并发断言的采样并发断言是根据每个时钟边沿的采样值，进行逻辑判断后，确认断言的成功和失败。和正常的时序逻辑采样相同，在时钟沿跳变的变量，在当