 <p>I believe that Modelsim has change the default value of the log parameter of the assertions on the new versions.</p> <p>In the previous versions, it seems that the default configuration of the assertions was with the log option enabled, but in the 10.4 all assertions are not logged when testbench is loaded, and when an assertion is triggered it is reported but it is not registered at the assertions panel (View – Coverage -- Assertions)</p> <p>I fix this error invoking the logging function of the assertions:</p> <p>assertion fail -log on -recursive /</p> <p>It seems that invoking this command at the start of the sequence is enough to enable the logging process and it fix the problems with the assertions count command.</p>