关于边沿检测的一个问题，求解答

CHZ666

如图，pos是wire型变量，led是reg型变量
led代码为
always@(posedge clk or negedge rst)begin
if(!rst)
led<=0;
else if(pos)
led<=~led;
end


为什么在pos拉高的那个上升沿时，led不会跟着发生改变，而是要等到下一个上升沿时才改变？
pos不是wire型直接完成赋值使得当前上升沿变成pos=1，从而进入if（pos）吗？？？？？

LcwSwust

由于pos和clk同时变化，就当它读的是边沿之前的值呗。