AlexOrr’s first 100 days in formal-land

This weekend, I caught up with a presentation from @AlexOrr of Broadcom in which he talks about his “first 100 days in formal-land”. I wanted to read it for a very long time. After reading the slides offline, I felt that this presentation was worth attending in person. Within those slides, one can feel his …

No $time with system task $fatal

On the quest to remove redundant code from my testbenches, $time was among the victims to be dropped from all SV call $fatal. Now I’m using $realtime instead of $time when writing SVAs.   Take the following statement along with its output as example: $fatal(`ASSERT_LEVEL, “[%m]: Assertion property pp_ahb_readyout_resp failed @ time %0t”, $time); # …

View assertion failures on the waveforms

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 …