I checked for the signals in the wait expression even using the monitor statement, but they don’t change when the wait expression evaluates. “wait” expression evaluates, for example, when the wr_complete is still a LOW and rd_complete was HIGH from before.