Status Messages
If you detect that the ROB is full, print out a message:
if (ROB is full) then assert false report LF&”ROB Full” &LF severity note; end if;
If you detect that the CRS did not accept all instructions, print out a message: if (not all accepted) then assert false report LF&”All instructions not accepted by CRS”&LF severity note; end if;