如下两种描述有啥区别?在仿真中,第一种可正常仿真第二种仿真时,复位后3拍报错
propertyp1; @(posedge clk ) disable iff(rst_n==1'b0) $fell(A) |=>B; endproperty:p1 propertyp2; @(posedge clk iff(rst_n==1'b0) ) $fell(A) |=>B; endproperty:p2