What assertions would you implement for a FIFO design, and what conditions would you verify for its effective operation?

Interview question asked to Design Verification Engineers interviewing at Ford Motor Company, Palo Alto Networks, Apple and others: What assertions would you implement for a FIFO design, and what conditions would you verify for its effective operation?.