How can we check if any value has "x" in assertion?

UVM
,
1

I have to check for A value of X on AWID is not permitted when AWVALID is HIGH (AXI). I want to know how can i check for x values in assertions.

2

You can do this by using the system function

$isunknown(expr).