$ 0 0 When I do simulation in Modelsim, in sim tab, there are "Assertion misses" and "Assertion hits", I attached a screenshot to show it, what is the mean of this? Thanks in advance. Attached Images 1.jpg (242.7 KB)