ModelSim SE User's Manual - Electrical and Computer Engineering

UM-382 14 - PSL Assertions
Viewing assertions in the Wave window
Assertion ’signals’
ModelSim SE User’s Manual
You can view assertions in the Wave window just like any other signal in your design.
Simply drag an assertion from the Assertions pane and drop it in the Wave window or rightclick
an assertion in the Assertions pane and select Add Wave.
ModelSim represents assertions as waveforms in the Wave window. The picture below
shows several assertions in a Wave window.
Assertion objects are represented by a magenta triangle. The name of each assertion comes
from the assertion code. The plus sign (’+’) to the left of the name indicates that an assertion
is a composite trace and can be expanded to show its elements (properties, sequences,
clocks, and HDL signals).
The value in the value pane is determined by the active cursor in the waveform pane. The
value will be one of "ACTIVE", "INACTIVE", "PASS" or "FAIL".
The waveform for an assertion represents both continuous and instantaneous information.
The continuous information is whether or not the assertion is active. The assertion is active
anytime it matches the first element in the directive. When active, the trace is raised and
painted green; when inactive it is lowered and painted blue. The instantaneous information
is a pass or fail event on the assertion. These are shown as filled circles above the trace at
the time of the event. A pass is a green circle and a fail is a red circle.
Graphic element Meaning
blue line assertion is inactive
green line assertion is active
green dot assertion passed
red dot assertion failed