Also, why does the assertion execute/finish at t=1us, when the state is changing from 1 to 2 at which time the expression (state!=3’b000) should be constantly equal to 1?
Also, why does the assertion execute/finish at t=1us, when the state is changing from 1 to 2 at which time the expression (state!=3’b000) should be constantly equal to 1?