To view assertion failures, ensure that the following switches are enabled with vsim: -msgmode both -assertdebug
-msgmode is a switch used to control where the elaboration and runtime messages are output. It records messages in the waveform database and add a hyperlink to the source code where the message was emitted.
As from v10.1, the default behaviour of the switch is to output messages only to the transcript.