APB断言测试

禁用（属性）操作符：disable iff

如果复位信号被置位(低电平有效)，则禁用该属性
disable iff(!reset)

sequence APB_WRITE_CYCLE;
	(PWRITE throughout (PSELx && PENABLE)) ;
 endsequence
 sequence APB_READ_CYCLE;
	(!PWRITE throughout (PSELx && PENABLE)) ;
 endsequence

在setup_state中，PSELx是1, PENABLE是0, setup_state可以通过检测PSELx的上升边缘来确定

property SETUP_state;
	@(posedge PCLK) disable iff (!PRESETn)
		$rose(PSELx) |-> !(PENABLE)