19-6
Viewing OpenVera Assertions
An assertion shows each evaluation attempt as a colored box: green
for success, red for failure, gray for incomplete. A solid, gray bar from
the beginning of the simulation time indicates that no attempts have
started yet. The left edge of the box marks the start time of the attempt.
However, because attempts can overlap, the right edge is not
meaningful and the length of the box does not represent the length
of the sequence. (The right edge is just the beginning of the next
attempt.)
The start and end times are noted in the box as start/end. An end
time of “X” means incomplete. An asterisk (*) means the left-most
characters were truncated for lack of space. An empty box is also
because of lack of space. To see the times, zoom in.
Expanding an assertion displays three component “signals” (see
Figure 19-4):
• “clk” shows the ticks of the clock used by the assertion.
• “result” shows the result of each attempt: a green up arrow for
success, a red down arrow for failure, a gray line for incomplete.
The result markers are placed at the start times of the attempts.
• “end_time” notes the end time for each attempt. An “X” means
incomplete.
Comments to this Manuals