/usr/share/covered/doc/html/chapter.gui.fsm.html is in covered-doc 0.7.10-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 22. Navigating the FSM State/State Transition Coverage Window</title><link rel="stylesheet" href="covered.css" type="text/css"><meta name="generator" content="DocBook XSL Stylesheets V1.71.1"><link rel="start" href="index.html" title="Covered User's Guide - 0.7.9"><link rel="up" href="part.gui.html" title="Part IV. Graphical User Interface"><link rel="prev" href="chapter.gui.logic.html" title="Chapter 21. Navigating the Combinational Logic Window"><link rel="next" href="chapter.gui.assert.html" title="Chapter 23. Navigating the Assertion Coverage Window"><center><img src="img/banner.jpg"></center><hr></head><body bgcolor="#dfeef8" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Chapter 22. Navigating the FSM State/State Transition Coverage Window</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.gui.logic.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center">Part IV. Graphical User Interface</th><td width="20%" align="right"> <a accesskey="n" href="chapter.gui.assert.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="chapter" lang="en"><div class="titlepage"><div><div><h2 class="title"><a name="chapter.gui.fsm"></a>Chapter 22. Navigating the FSM State/State Transition Coverage Window</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.navigate">22.1. Navigating the FSM Window</a></span></dt><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.excl">22.2. Excluding/Including a State Transition</a></span></dt><dt><span class="sect1"><a href="chapter.gui.fsm.html#section.gui.fsm.display">22.3. Displaying a New FSM</a></span></dt></dl></div><p>
The Verbose FSM State/State Transition Coverage window allows the user to see which states and state transitions of a
currently selected FSM have been covered or are uncovered. To view this window, simply select the "FSM" coverage
metric mode in the <a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a> in the main window and select an
underlined FSM state variable in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>. This will cause the
FSM Coverage window to be displayed with the currently selected FSM information loaded.
<a href="chapter.gui.fsm.html#figure.gui.fsm" title="Figure 22.1. Verbose FSM Coverage Window">Figure 22.1, “Verbose FSM Coverage Window”</a> below shows an example of this window.
</p><p>
</p><div class="figure"><a name="figure.gui.fsm"></a><p class="title"><b>Figure 22.1. Verbose FSM Coverage Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/fsm_window.gif" alt="Verbose FSM Coverage Window"></div></div></div><p><br class="figure-break">
</p><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.fsm.navigate"></a>22.1. Navigating the FSM Window</h2></div></div></div><p>
The Verbose FSM window is split into two main frames. The top frame contains the expressions that make up the
input and output states of the selected FSM. The bottom frame contains a two-dimensional table showing the covered
and/or uncovered states and state transitions.
</p><p>
The state/state transition table is a two-dimensional table with all possible values of the input states in the
left-most column, the output states in the upper-most row, and the state transitions in the rest of the table.
</p><p>
To determine which states have been uncovered in the table, simply find all state values in the input column or
output row (both show the same information) which are highlighted with the "Uncovered" color selection specified in
the <a href="chapter.gui.preferences.html" title="Chapter 28. Navigating the Preferences Window">preferences window</a>. To determine which states have been covered
in the table, simply find all state values in the input column or output row which are highlighted with the
"Covered" color selection. All other state values which are not highlighted are either impossible values (if all
of the state transitions were specified in the Verilog file) or are unknown for coverage (if not all of the state
transitions were specified in the Verilog file).
</p><p>
To determine which state transitions have been uncovered in the table, simply find all empty boxes in the table
that are highlighted with the "Uncovered" background color. If one of these exist, it specifies that the
transition of "input state" (the value specified in the left-most column in the same row) to "output state" (the
value specified in the upper-most row in the same column) did not occur. In the example above, we can see that the
following state transitions did not occur:
</p><p>
</p><div class="itemizedlist"><ul type="disc"><li><p>2 -> 4</p></li><li><p>4 -> 1</p></li></ul></div><p>
</p><p>
Follow the same procedure for finding all covered state transitions in the table except that these boxes will be
highlighted with the "Covered" background color. In the example above, we can see that the following state
transitions occurred:
</p><p>
</p><div class="itemizedlist"><ul type="disc"><li><p>1 -> 2</p></li><li><p>1 -> 1 (loopback case)</p></li><li><p>2 -> 2 (loopback case)</p></li></ul></div><p>
</p><p>
All other state transition boxes that are not highlighted are either impossible state transitions (if all state
transitions were specified in the Verilog source code) or are unknown in their coverage (either not hit or
impossible transition if all state transitions were not specified in the Verilog source code).
</p><p>
To exit this window, simply click on <span class="bold"><strong>Close</strong></span> button. To see this help page for the
FSM window, click on the help (?) button.
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.fsm.excl"></a>22.2. Excluding/Including a State Transition</h2></div></div></div><p>
Uncovered state transitions can be excluded/included for FSM coverage consideration. This is done by clicking on
the "I" (state transition is currently included in coverage results) or "E" (state transition is currently excluded
from coverage results) character in the middle of a state transition square. Changing a state transition from an
"I" to an "E" will automatically cause a <a href="chapter.gui.exclude.html" title="Chapter 29. The Exclusion Reason Popup Window">exclusion reason popup window</a>
to be displayed, allowing you to specify the reason for excluding this state transition. After a reason has been
entered, the state transition summary coverage information in the
<a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a> to be updated and the background color of the state
transition box will change from the uncovered color to the covered color. Changing a state transition from an "E"
to an "I" will automatically cause the state transition summary coverage information in the Main Window Summary Bar
to be updated and the background color of the state transition box will change from the covered color to the uncovered
color. <a href="chapter.gui.fsm.html#figure.gui.fsm.excl" title="Figure 22.2. Example of excluded state transitions">Figure 22.2, “Example of excluded state transitions”</a> below shows an example of the <a href="chapter.gui.fsm.html#figure.gui.fsm" title="Figure 22.1. Verbose FSM Coverage Window">Figure 22.1, “Verbose FSM Coverage Window”</a> state
machine coverage information with a couple of state transitions excluded from coverage.
</p><p>
</p><div class="figure"><a name="figure.gui.fsm.excl"></a><p class="title"><b>Figure 22.2. Example of excluded state transitions</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/fsm_excl.gif" alt="Example of excluded state transitions"></div></div></div><p><br class="figure-break">
</p><p>
If all of the state transitions for a state machine have been excluded for coverage consideration, the output state
variable in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a> will change its background from the uncovered to the
covered background color. However, the underline will remain under the variable to allow the user to still examine
the verbose FSM information for that state machine.
</p><p>
If the user excludes any state transition in the design, the <span class="bold"><strong>Save CDD...</strong></span> option in
the <a href="chapter.gui.main.html#section.gui.main.filemenu" title="The File Menu">file</a> menu will be enabled. This allows the user to save the excluded
property either back to the CDD file (or to a newly named CDD file). Doing so will allow the user to load the CDD
file at a different time and retain the knowledge of which state transitions have been excluded/included for
coverage. Additionally, if a saved CDD file with coverage exclusion is merged with another CDD file, the excluded
state transition information is preserved for the resulting merged CDD file.
</p><p>
If a state transition has been excluded from coverage and an exclusion reason was specified, you can view the reason
for exclusion by moving the cursor over the state transition. This will cause a tooltip-style window to be displayed
specifying the state transition and the reason for exclusion. The background color of the tooltip will be the same
color as the "covered" background color to help distinguish it from a normal tooltip. To cause the exclusion reason
tooltip to disappear, simply move the cursor off of the state transition cell.
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.fsm.display"></a>22.3. Displaying a New FSM</h2></div></div></div><p>
If the Verbose FSM Coverage window is currently displayed, the user may select a new FSM state variable in the
<a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a> of the Main window. When a new FSM is selected, its information
immediately replaces the currently selected FSM. This feature allows many different FSMs to be viewed one after
the other without having to create/destroy a new window for each.
</p><p>
The user may also see the previous or next uncovered FSM in the main viewer by clicking either the left arrow
button (for previous signal viewing) or the right arrow button (for next signal viewing). Note that the left arrow
button will be disabled if there is not a signal previous to the current signal in the given module and the right
arrow button will be disabled if there is not a signal after the current signal in the given module.
</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="chapter.gui.logic.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"><a accesskey="u" href="part.gui.html"><img src="img/up.gif" alt="Up"></a></td><td width="40%" align="right"> <a accesskey="n" href="chapter.gui.assert.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 21. Navigating the Combinational Logic Window </td><td width="20%" align="center"><a accesskey="h" href="index.html"><img src="img/home.gif" alt="Home"></a></td><td width="40%" align="right" valign="top"> Chapter 23. Navigating the Assertion Coverage Window</td></tr></table></div></body></html>
|