【systemverilog】学习笔记--断言篇

断言1：判断信号值

CHECK_VALUE :
		assert property (	
							@(posedge clk)
							disable iff(!rst_n)     \\屏蔽复位前的不定态
							(a !== 1'bx)
		)
		
		else $fatal ("ERROR : detected a X value !! \n");