Download dialog - Electrical and Computer Engineering

Assertions pane GR-111
• The Failure Count column counts the total number of times the assertion has failed in
the current simulation. These counts are maintained between runs unless you reset the
count for the assertion.
• The Pass Count column counts the total number of times the assertions has passed in the
current simulation. These counts are maintained between runs unless you reset the count
for the assertion.
• The Attempted column shows a green checkmark when an assertion has triggered and a
red ’X’ when it has not triggered. Not displayed by default.
• The Failure Action column lists the action that ModelSim takes when the assertion
passes or fails. Not displayed by default.
• The Failure Log column shows "enabled" when failure messages will be logged to the
transcript. The column shows "disabled" when failure messages will not be logged to the
transcript. Not displayed by default.
• The Pass Log column shows "enabled" when pass messages will be logged to the
transcript. The column shows "disabled" when pass messages will not be logged to the
transcript. Not displayed by default.
• The Failure Limit column shows the number of times ModelSim will respond to a failure
event on an assertion. Not displayed by default.
• The Pass Limit column shows the number of times ModelSim will respond to a pass
event on an assertion. Not displayed by default.
ModelSim SE GUI Reference