请教clocking块中的一个断言是干什么用的？

在uvm提供的一个例子中，apb_if中的clocking块中，如下所示：interface apb_if();//(input bit pclk,input bit rst);
wirepclk;
wire [31:0] paddr;
wirepsel;
wirepenable;
wirepwrite;
wire [31:0] prdata;
wire [31:0] pwdata;
wirerst;
logicstatus;
clocking mck @(posedge pclk);
output #2 paddr, psel, penable, pwrite, pwdata ;
input #2 prdata, rst ;
sequence at_posedge;
1;
endsequence : at_posedge
endclocking: mck
上面sequence块是干什么用的?

因翠丝听，同问

学习贴自顶一个

关键是这个sequence用在哪个property里了?

我也遇到了这个东西，不太清楚是什么意思，请问小编现在知道了不?麻烦说一下。

想问前面还有代码么?怀疑是个assertion?

我是在做example时，发现的这个问题。暂时不清楚有什么用。

这里只有sequence，没有property和assertion。

是的，感觉怪怪的，不知道是干什么用的。也没见用过