SVA 再了解(六)

一個檢查pipe的SVA例子

DATA_PIPELINE: assert property (
@(posedge clk) disable iff(!rst_n)
$rose(valid) |-> (##5 pipe_ready ##1 pipe3_data==$past(port_data, 2)
);