SV练习（1）

条件要求如下：

1. 给定俩信号a和b
2. 检查在a的上升沿10ns内必须监测到b的上升沿，否则报错
3. a\b为完全异步信号
4. 不使用assert判断

while(1) begin
	@(posedge sig_a);
	fork
		begin
			fork
				begin
					#10ns;
					$display("sig check error!");
				end
				begin
					@（posedge sig_b);
					$display("sig check pass!");
				end
			join_any
		end
	join_none
end