Immediate Assertion - 2021.2 English

Vivado Design Suite Tutorial: Logic Simulation

Evaluated like an expression in ‘if’ statement.

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