Immediate Assertion - 2022.2 English

Vivado Design Suite Tutorial: Logic Simulation (UG937)

Evaluated like an expression in ‘if’ statement.

always@(posedge clk)
assert(data == 4’b1010);