Immediate Assertion - 2025.1 English - UG937

Vivado Design Suite Tutorial: Logic Simulation (UG937)

Evaluated like an expression in ‘if’ statement.

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