/usr/share/covered/doc/html/chapter.gui.main.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 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 17. Navigating the Main 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.intro.html" title="Chapter 16. Introduction to the GUI"><link rel="next" href="chapter.gui.line.html" title="Chapter 18. Navigating the Line 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 17. Navigating the Main Window</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.gui.intro.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.line.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.main"></a>Chapter 17. Navigating the Main Window</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.menubar">17.1. The Main Menu Bar</a></span></dt><dd><dl><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.filemenu">The File Menu</a></span></dt><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.reportmenu">The Report Menu</a></span></dt><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.viewmenu">The View Menu</a></span></dt><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.helpmenu">The Help Menu</a></span></dt></dl></dd><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.covbar">17.2. The Coverage Type View Bar</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.listbox">17.3. The Module/Instance Listbox</a></span></dt><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.viewer">17.4. The Coverage File Viewer</a></span></dt><dd><dl><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.viewer.search.uncov">Searching for an Uncovered Line in the Coverage Viewer</a></span></dt><dt><span class="sect2"><a href="chapter.gui.main.html#section.gui.main.viewer.search.string">Searching for a String in the Coverage Viewer</a></span></dt></dl></dd><dt><span class="sect1"><a href="chapter.gui.main.html#section.gui.main.infobar">17.5. The Information Bar</a></span></dt></dl></div><p>
<a href="chapter.gui.main.html#figure.gui.main.window" title="Figure 17.1. Covered Main Window">Figure 17.1, “Covered Main Window”</a> shows the main window prior to a CDD file being loaded. There are five main
components of the main window. These components are the following (from top to bottom, left to right):
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p><a href="chapter.gui.main.html#section.gui.main.menubar" title="17.1. The Main Menu Bar">The menu bar</a></p></li><li><p><a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">The coverage type bar</a></p></li><li><p><a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">The module/instance summary listbox</a></p></li><li><p><a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">The coverage file viewer</a></p></li><li><p><a href="chapter.gui.main.html#section.gui.main.infobar" title="17.5. The Information Bar">The information bar</a></p></li></ol></div><p>
</p><p>
</p><div class="figure"><a name="figure.gui.main.window"></a><p class="title"><b>Figure 17.1. Covered Main Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/main_window.gif" alt="Covered Main 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.main.menubar"></a>17.1. The Main Menu Bar</h2></div></div></div><p>
The Main Menu Bar consists of four menus at the top of the main window. <a href="chapter.gui.main.html#figure.gui.main.menubar" title="Figure 17.2. Covered Main Window Highlighting the Menu Bar">Figure 17.2, “Covered Main Window Highlighting the Menu Bar”</a> below shows the
menu bar portion of the GUI bordered in red. These menus are the following:
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p>
<a href="chapter.gui.main.html#section.gui.main.filemenu" title="The File Menu">File</a> - Creates, opens, merges, saves and closes CDD files, generates
reports, and exits the application.
</p></li><li><p>
<a href="chapter.gui.main.html#section.gui.main.reportmenu" title="The Report Menu">Report</a> - Specifies what type of report to show.
</p></li><li><p>
<a href="chapter.gui.main.html#section.gui.main.viewmenu" title="The View Menu">View</a> - Provides additional viewing options.
</p></li><li><p>
<a href="chapter.gui.main.html#section.gui.main.helpmenu" title="The Help Menu">Help</a> - Provides access to online help manual and tool information.
</p></li></ol></div><p>
</p><p>
</p><div class="figure"><a name="figure.gui.main.menubar"></a><p class="title"><b>Figure 17.2. Covered Main Window Highlighting the Menu Bar</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/main_menu.gif" alt="Covered Main Window Highlighting the Menu Bar"></div></div></div><p><br class="figure-break">
</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note"><tr><td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="img/note.gif"></td><th align="left">Note</th></tr><tr><td align="left" valign="top"><p>
On Mac OS X, the main menubar does not exist in the application window. Like most Mac OS X
applications, the main menubar exists at the top of the display.
</p></td></tr></table></div><p>
</p><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.filemenu"></a>The File Menu</h3></div></div></div><p>
The file menu is used to open a new CDD file, merge a related CDD file (derived from the same design as the
currently opened CDD file, save the currently opened CDD file(s), close all opened CDD files, generate different
types of output and view the names of all currently opened CDD files. Additionally, the user selects this menu
bar to exit the Covered report viewer GUI. <a href="chapter.gui.main.html#figure.gui.main.filemenu" title="Figure 17.3. The File Menu">Figure 17.3, “The File Menu”</a> shows the file menu
contents within the main window.
</p><p>
</p><div class="figure"><a name="figure.gui.main.filemenu"></a><p class="title"><b>Figure 17.3. The File Menu</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/file_menu.gif" alt="The File Menu"></div></div></div><p><br class="figure-break">
</p><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.open"></a>Open/Merge CDDs...</h4></div></div></div><p>
This menu option is used to either open a new CDD file or merge a related CDD file into the currently opened
CDD file(s). This action needs to be performed before any coverage viewing can take place. When this option
is selected, a standard file window is displayed allowing the user to select one (or possibly more depending on
your version of Tcl/Tk) CDD file to open or merge. To select more than one CDD file with one call to this
option, simply press and hold the Control key while selecting files with the left mouse button. If your version
of Tcl/Tk supports this feature, you will see multiple files highlighted for selection; otherwise, only the last
selected file will be selected. If no CDD files currently are opened, any CDD file may be opened. If one or
more CDD files have been opened/merged, only CDD files generated from the same design may be merged.
</p><p>
Note that this option has an accelerator keystroke <Control-O>. Hitting this keystroke combination will
also open new CDD file(s).
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.view"></a>View Loaded CDD(s)...</h4></div></div></div><p>
This menu option is only available after an initial CDD file has been opened using the <span class="bold"><strong>Open/Merge
CDDs...</strong></span> file menu option. When this menu option is selected, a new window displaying all currently opened CDD files
is displayed (see <a href="chapter.gui.main.html#section.gui.main.file.viewer" title="Figure 17.4. The CDD Opened File Viewer">Figure 17.4, “The CDD Opened File Viewer”</a> below). If another CDD file is merged and this window is
currently displayed, it is automatically updated with the newly added file. If the
<span class="bold"><strong>Close CDDs...</strong></span> file menu option is selected while this window is opened, all filenames will be
automatically removed to indicate this. The <span class="bold"><strong>View Loaded CDD(s)...</strong></span> menu option is useful for
helping the user see exactly which files have been merged or not merged in the current viewer. Simply click on the
<span class="bold"><strong>Close</strong></span> button in the <span class="bold"><strong>Loaded CDD file viewer</strong></span> window to close the
window.
</p><p>
</p><div class="figure"><a name="section.gui.main.file.viewer"></a><p class="title"><b>Figure 17.4. The CDD Opened File Viewer</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/file_viewer.gif" alt="The CDD Opened File Viewer"></div></div></div><p><br class="figure-break">
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.save"></a>Save CDD...</h4></div></div></div><p>
This menu option is only available after one or more CDD files have been opened/merged. It is used to save the opened or merged
CDD files as a single, merged CDD file than can be viewed as a separate CDD file or can be merged with other CDD files. It is
also used to save any changes that the user has made to exclude/include coverage cases within the GUI. If you would like to
retain this information, please save the CDD file. By default, the name of the first loaded CDD file is placed in the "Save As"
window when this option is selected. The user may choose to replace the old CDD file with the new one, or the user may save it
under a different name. Once a CDD file has been saved, this option is deselected until either a new CDD file is merged or the
user changes the exclude/include property of any coverage case within the GUI.
</p><p>
Note that this option has an accelerator keystroke <Control-s>. Hitting this keystroke combination will also save the
current CDD.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.close"></a>Close CDDs</h4></div></div></div><p>
This menu option is used to close all opened/merged CDD files so that the user may view a different CDD file without needing to
exit and re-enter the GUI. The user may open and close as many times as needed without needing to reinvoke the GUI. When CDD
files are closed, any opened coverage windows are automatically closed and all necessary GUI components are restored to their
original state as when the GUI is first invoked. If the currently opened CDD file(s) have not been saved, a window (shown in
<a href="chapter.gui.main.html#figure.gui.main.close" title="Figure 17.5. The Close Warning Window">Figure 17.5, “The Close Warning Window”</a> below) is displayed to ask the user if they would like to save prior to closing. To save
the CDD file, simply click "Yes" and a "Save As" window will prompt you for a location/name to save it as. To close the CDD file
without saving, simply click "No". To cancel the close operation, simply click <span class="bold"><strong>Cancel</strong></span>. To view
another CDD file after closing all CDD files, simply select the <span class="bold"><strong>Open/Merge CDDs...</strong></span> file menu
option.
</p><p>
Note that this option has an accelerator keystroke <Control-w>. Hitting this keystroke combination will also close all
opened CDD files.
</p><p>
</p><div class="figure"><a name="figure.gui.main.close"></a><p class="title"><b>Figure 17.5. The Close Warning Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/close_warn.gif" alt="The Close Warning Window"></div></div></div><p><br class="figure-break">
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.generate"></a>Generate</h4></div></div></div><p>
This option, when selected, displays a submenu of items that can be generated by the GUI. The following options (with
descriptions) are available (see <a href="chapter.gui.main.html#figure.gui.main.generate" title="Figure 17.6. The Generate Menu List">Figure 17.6, “The Generate Menu List”</a>).
</p><p>
</p><div class="figure"><a name="figure.gui.main.generate"></a><p class="title"><b>Figure 17.6. The Generate Menu List</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/gen_menu.gif" alt="The Generate Menu List"></div></div></div><p><br class="figure-break">
</p><p>
</p><div class="itemizedlist"><ul type="disc"><li><p>
<span class="bold"><strong>New CDD...</strong></span>
</p><p>
Selecting this submenu option will cause Covered to allow for the creation of a new CDD file (note: this can be accomplished
on the command-line with the "score" command). When this option is selected, the new CDD creation wizard window is created.
See <a href="chapter.gui.new.html" title="Chapter 25. Creating a New CDD">Chapter 25, <i>Creating a New CDD</i></a> for more information on the navigation of this window.
</p><p>
Note that this option has an accelerator keystroke <Control-n>. Hitting this keystroke combination will also cause
the new CDD creation window to be displayed.
</p></li><li><p>
<span class="bold"><strong>ASCII Report...</strong></span>
</p><p>
Selecting this submenu option will cause Covered to generate an ASCII version of the coverage report to a specified file
(note: this can also be accomplished with the "report" command of Covered's command-line interface). When this option is
selected, the ASCII report generation wizard window is created. See <a href="chapter.gui.genreport.html" title="Chapter 26. Creating an ASCII report file">Chapter 26, <i>Creating an ASCII report file</i></a> for more
information on the navigation of this window.
</p><p>
Note that this option has an accelerator keystroke <Control-r>. Hitting this keystroke combination will also cause
the ASCII report generator window to be displayed.
</p></li><li><p>
<span class="bold"><strong>CDD Ranking Report...</strong></span>
</p><p>
Selecting this submenu option will cause Covered to generate a CDD ranking report to a specified file (note: this can also
be accomplished on the command-line with the "rank" command). When this option is selected, the CDD ranking wizard window
is created. See <a href="chapter.gui.rank.html" title="Chapter 27. Creating a CDD Ranking Report">Chapter 27, <i>Creating a CDD Ranking Report</i></a> for more information on the navigation of this window.
</p><p>
Note that this option has an accelerator keystroke <Control-c>. Hitting this keystroke combination will also cause
the CDD ranking window to be displayed.
</p></li></ul></div><p>
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.filemenu.exit"></a>Exit</h4></div></div></div><p>
This menu option will exit the entire GUI application, closing all opened windows created by this application. Use this option
to exit the application. If the currently opened CDD file(s) have not been saved, a window (shown in
<a href="chapter.gui.main.html#figure.gui.main.exit" title="Figure 17.7. The Exit Warning Window">Figure 17.7, “The Exit Warning Window”</a> below) is displayed to ask the user if they would like to save prior to exiting. To save
the CDD file, simply click <span class="bold"><strong>Yes</strong></span> and a "Save As" window will prompt you for a location/name to
save it as. To close the CDD file without saving, simply click <span class="bold"><strong>No</strong></span>. To cancel the close
operation, simply click <span class="bold"><strong>Cancel</strong></span>.
</p><p>
Note that this option has an accelerator keystroke <Control-x> (or <Command-Q> on Mac OS X). Hitting this keystroke
combination will also close the entire application.
</p><p>
</p><div class="figure"><a name="figure.gui.main.exit"></a><p class="title"><b>Figure 17.7. The Exit Warning Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/exit_warn.gif" alt="The Exit Warning Window"></div></div></div><p><br class="figure-break">
</p></div></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.reportmenu"></a>The Report Menu</h3></div></div></div><p>
The report menu allows the user to display the currently opened CDD file contents in a number of different ways for analyzing. The
options specified in this menu closely imitate the options in the "report" command. The type of report can be changed at any point
in time while a CDD is loaded. When a report menu option is selected, Covered will automatically convert all information in the
GUI to represent this report type. <a href="chapter.gui.main.html#figure.gui.main.report.menu" title="Figure 17.8. The Report Menu">Figure 17.8, “The Report Menu”</a> below shows the contents of the report menu. Each
menu item is described below the figure.
</p><p>
</p><div class="figure"><a name="figure.gui.main.report.menu"></a><p class="title"><b>Figure 17.8. The Report Menu</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/report_menu.gif" alt="The Report Menu"></div></div></div><p><br class="figure-break">
</p><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.mod"></a>Module-Based</h4></div></div></div><p>
When the diamond to the left of this option is selected, the generated report information will be in module-based representation.
A module-based report gathers all of the module instances that instantiate the same module and merges their results based on the
module name. This is useful for understanding what logic in a module has been tested or untested without care to individual
instance contribution. Selecting this report type (the default) will cause the <span class="bold"><strong>Instance-based</strong></span>
menu option to be automatically deselected (the two report types are mutually exclusive).
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.inst"></a>Instance-Based</h4></div></div></div><p>
When the diamond to the left of this option is selected, the generated report information will be in instance-based
representation. An instance-based report shows the coverage information for each module instance within the design. This allows
the user to discern what logic is being covered in individual instances. Selecting this report type will cause the
<span class="bold"><strong>Module-based</strong></span> menu option to be automatically deselected (the two report types are mutually
exclusive).
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.line"></a>Line, Toggle, Memory, Logic, FSM, Assert</h4></div></div></div><p>
These menu options are directly tied to the coverage metric select menubutton in the coverage bar (see
<a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">Section 17.2, “The Coverage Type View Bar”</a>). Changing the value in the menubutton will change the selection of this menu item
and vice versa. Only one of these menu items will be selected at a given time.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.uncov"></a>Show Uncovered</h4></div></div></div><p>
When the square to the left of this option is selected (the default), all uncovered lines, toggles, logic, and FSM states/arcs
within the file viewer window will be highlighted for the user to quickly see what code was monitored by Covered but determined
to not be fully covered. This option may be selected along with the <span class="bold"><strong>Show Covered</strong></span> menu option to
see both covered and uncovered logic within the same file.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.cov"></a>Show Covered</h4></div></div></div><p>
When the square to the left of this option is selected, all covered lines, toggles, logic, and FSM states/arcs within the file
viewer window will be highlighted for the user to quickly see what code was monitored by Covered and determined to be fully
covered. This option is useful for the user of Covered to understand what logic was monitored during simulation. This option
may be selected along with the <span class="bold"><strong>Show Uncovered</strong></span> menu option to see both covered and uncovered
logic within the same file.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.reportmenu.race"></a>Show Race Conditions</h4></div></div></div><p>
When the square to the left of this option is selected, all logic lines that were found to contain a potential race condition and
was, therefore, eliminated from coverage consideration by Covered will be highlighted by the colors as selected in the preference
menu. This option is useful for the user of Covered to understand what logic was not considered for coverage information due to
a detected potential race condition situation. Please see <a href="chapter.race.html" title="Chapter 4. Race Condition Checking">Chapter 4, <i>Race Condition Checking</i></a> for more information on what Covered looks for in
logic to consider it to be a possible race condition.
</p></div></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.viewmenu"></a>The View Menu</h3></div></div></div><p>
The View menu allows the user to select or change the current way the information in Covered is viewed.
<a href="chapter.gui.main.html#figure.gui.main.view.menu" title="Figure 17.9. The View Menu">Figure 17.9, “The View Menu”</a> shows the contents of the View menu.
</p><p>
</p><div class="figure"><a name="figure.gui.main.view.menu"></a><p class="title"><b>Figure 17.9. The View Menu</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/view_menu.gif" alt="The View Menu"></div></div></div><p><br class="figure-break">
</p><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.viewmenu.next"></a>Next Uncovered</h4></div></div></div><p>
Causes the line containing the next uncovered metric to be visible in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>. If the next uncovered
line is already visible, this menu item will have no visible effect. The search for the next uncovered line starts at (a) the top of the module (when the
module is first displayed in the the Coverage Viewer), (b) from the last uncovered line searched for with the <span class="bold"><strong>Next Uncovered</strong></span> or
<span class="bold"><strong>Previous Uncovered</strong></span> calls, or (c) from the last currently selected line (only valid for toggle and combinational logic views).
</p><p>
This menu item is only enabled when another uncovered line exists after the current uncovered line. It can also be accessed with the accelerator keystroke
<Control-n> or the right arrow button in the Main Window.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.viewmenu.prev"></a>Previous Uncovered</h4></div></div></div><p>
Causes the line containing the previous uncovered metric to be visible in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>. If the previous
uncovered line is already visible, this menu item will have no visible effect. The search for the previous uncovered line starts at (a) the top of the
module (when the module is first displayed in the the Coverage Viewer), (b) from the last uncovered line searched for with the
<span class="bold"><strong>Next Uncovered</strong></span> or <span class="bold"><strong>Previous Uncovered</strong></span> calls, or (c) from the last currently selected line
(only valid for toggle and combinational logic views).
</p><p>
This menu item is only enabled when another uncovered line exists before the current uncovered line. It can also be accessed with the accelerator keystroke
<Control-p> or the left arrow button in the Main Window.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.viewmenu.current"></a>Show Current Selection</h4></div></div></div><p>
This menu item is only available if the current metric mode is not "Line", the user has clicked on an uncovered segment of code, and the associated
<a href="chapter.gui.toggle.html" title="Chapter 19. Navigating the Toggle Coverage Window">toggle</a>, <a href="chapter.gui.memory.html" title="Chapter 20. Navigating the Memory Coverage Window">memory</a>, <a href="chapter.gui.logic.html" title="Chapter 21. Navigating the Combinational Logic Window">logic</a>,
<a href="chapter.gui.fsm.html" title="Chapter 22. Navigating the FSM State/State Transition Coverage Window">FSM</a> or <a href="chapter.gui.assert.html" title="Chapter 23. Navigating the Assertion Coverage Window">assertion</a> verbose window exists. The currently selected line is
visually identified in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a> area on the left-hand side of the line containing the uncovered
code. If this line is not currently visible in the Coverage Viewer, selecting this menu item will cause it to be visible.
</p><p>
An accelerator keystroke <Control-c> will also invoke this menu item.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.viewmenu.wizard"></a>Wizard...</h4></div></div></div><p>
Displays the Covered wizard window which normally opens upon starting the Covered GUI. The Wizard window allows the user to easily create a new CDD file, open/
merge existing CDD files, rank existing CDD files and get user documentation. See <a href="chapter.gui.wizard.html" title="Chapter 30. Navigating the Wizard Window">Chapter 30, <i>Navigating the Wizard Window</i></a> for more information.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.viewmenu.preferences"></a>Preferences...</h4></div></div></div><p>
Causes the <a href="chapter.gui.preferences.html" title="Chapter 28. Navigating the Preferences Window">preferences window</a> to be created if it currently does not exist or forces it into the foreground
if it does exist.
</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note"><tr><td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="img/note.gif"></td><th align="left">Note</th></tr><tr><td align="left" valign="top"><p>
On Mac OS X, this menu item does not exist in the "Report Menu" but rather in the Covered application menu to remain consistent with the Mac OS X
environment.
</p></td></tr></table></div></div></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.helpmenu"></a>The Help Menu</h3></div></div></div><p>
The help menu contains all of the user documentation for Covered. Additionally, information regarding the version of Covered used and other contact information for
application problems, suggestions, etc. can be found in this menu.
</p><p>
</p><div class="figure"><a name="figure.gui.main.help.menu"></a><p class="title"><b>Figure 17.10. The Help Menu</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/help_menu.gif" alt="The Help Menu"></div></div></div><p><br class="figure-break">
</p><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.helpmenu.manual"></a>Manual</h4></div></div></div><p>
Selecting this menu item causes Covered to display the user manual in a web browser.
</p></div><div class="sect3" lang="en"><div class="titlepage"><div><div><h4 class="title"><a name="section.gui.main.helpmenu.about"></a>About Covered</h4></div></div></div><p>
Selecting this menu item causes Covered to bring up a window showing the current release number, developer contact information and credits.
</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><table border="0" summary="Note"><tr><td rowspan="2" align="center" valign="top" width="25"><img alt="[Note]" src="img/note.gif"></td><th align="left">Note</th></tr><tr><td align="left" valign="top"><p>
On Mac OS X, this menu item does not exist in the Help Menu but rather in the application's menu to remain consistent with the Mac OS X environment.
</p></td></tr></table></div></div></div></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.main.covbar"></a>17.2. The Coverage Type View Bar</h2></div></div></div><p>
<a href="chapter.gui.main.html#figure.gui.main.covbar" title="Figure 17.11. Covered Main Coverage Type View Bar">Figure 17.11, “Covered Main Coverage Type View Bar”</a> shows the location of the coverage type view bar. The bar contains two selection buttons. The selection
button on the left side of the bar shows the currently selected coverage metric. There are six main types of coverage metrics that Covered can
provide: line, toggle, memory, logic (combinational logic), FSM (state and arc) and assert (assertion coverage). When the Covered GUI is first
invoked, the line coverage metric is the default mode. To view a different metric, simply left click, select the desired coverage metric, and left
click again. Doing so will automatically set the selection indicator to the new mode and display the new metric information in the
<a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">Module/Instance listbox</a> and <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>.
</p><p>
The selection button on the right side of the bar shows the current coverage accumulation mode: module or instance. Module coverage takes all of the
similar module instances and merges their coverages. Instance coverage displays each module instance individually. To select a different value than
the one displayed, simply left click the selection button, highlight the desired value and left click again. This will repopulate the
<a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">Module/Instance lisbox</a> and clear the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a>.
</p><p>
</p><div class="figure"><a name="figure.gui.main.covbar"></a><p class="title"><b>Figure 17.11. Covered Main Coverage Type View Bar</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/main_cov.gif" alt="Covered Main Coverage Type View Bar"></div></div></div><p><br class="figure-break">
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.main.listbox"></a>17.3. The Module/Instance Listbox</h2></div></div></div><p>
After a CDD file has been opened in the GUI, the module/instance selection box (shown in
<a href="chapter.gui.main.html#figure.gui.main.listbox" title="Figure 17.12. Populated Module/Instance Selection Box">Figure 17.12, “Populated Module/Instance Selection Box”</a> below) will contain either a list of all of the modules within the
specified design or a list of all of the instances within the design, based on the type of report selected in the
<a href="chapter.gui.main.html#section.gui.main.reportmenu" title="The Report Menu">report</a> menu. Left-clicking on a module/instance name within this box will
cause that file to be output in the <a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a> to the right of the selection box.
</p><p>
In addition to the names of the modules or instances of the design, each line also contains a summary view of the
coverage for the currently selected metric for each module or instance. The summary coverage information includes
the number of hits, number of misses, total number and hit percentage. Each column in the table can be resized by
clicking on the separator bar between the column headers and sliding the column to the left or to the right.
Additionally, columns may be hidden or shown in the module/instance selection box by clicking on the button at the
right-hand side of the column header bar (and above the vertical scrollbar). When this button is left-clicked, a
popup menu will be displayed showing which columns are currently shown (a check to the left of the column name) and
which are hidden (no check). To change the display for a particular column, simply click on the column name in the
popup window. This will cause the associated column to be hidden or shown and will close the popup window. If the
popup window is displayed and the user does not wish to change the display values of any of the shown columns,
simply click anywhere on the screen but on the popup window. This will cause the popup window to disappear and no
column display values will be changed.
</p><p>
Depending on the selected coverage metric (specified in the <a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a>) and the
coverage results for each module/instance, a module/ instance item will be highlighted in the uncovered logic color
if the corresponding module/instance was found to have uncovered logic within that module/instance. If the
specified module/instance was found to be fully covered for the currently selected metric, it will be highlighted
with the selected covered logic color. This can help the user quickly identify modules/instances that contain
uncovered logic cases. Note that when a different coverage metric is selected, the highlights will be recalculated
for that metric. Additionally, the currently selected module/instance will be displayed in a darker version of the
covered/uncovered color.
</p><p>
</p><div class="figure"><a name="figure.gui.main.listbox"></a><p class="title"><b>Figure 17.12. Populated Module/Instance Selection Box</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/populated_lb.gif" alt="Populated Module/Instance Selection Box"></div></div></div><p><br class="figure-break">
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.main.viewer"></a>17.4. The Coverage File Viewer</h2></div></div></div><p>
<a href="chapter.gui.main.html#figure.gui.main.viewer" title="Figure 17.13. Covered Main Coverage File Viewer">Figure 17.13, “Covered Main Coverage File Viewer”</a> shows the area of the main window where the coverage file viewer window is
located.
</p><p>
</p><div class="figure"><a name="figure.gui.main.viewer"></a><p class="title"><b>Figure 17.13. Covered Main Coverage File Viewer</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/main_viewer.gif" alt="Covered Main Coverage File Viewer"></div></div></div><p><br class="figure-break">
</p><p>
The coverage file viewer shows the currently selected module (indicated in the
<a href="chapter.gui.main.html#section.gui.main.infobar" title="17.5. The Information Bar">information bar</a>) Verilog source. The coverage file viewer provides a read-only view of the
original source code so all editing of the file must be done in a separate editor. Each source code line in the
viewer window is numbered to the left of the line to aid in debugging and finding the lines in an editor.
</p><p>
Depending on the coverage metric currently selected in the <a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a> and the
covered/uncovered/race condition selections in the <a href="chapter.gui.main.html#section.gui.main.reportmenu" title="The Report Menu">report menu</a>, the lines that are
found to be uncovered, covered, and/or considered a race condition are highlighted in their respective color
schemes in the coverage file viewer window. Using the scrollbars to the right and below the coverage file viewer,
the user can find the missed/hit lines quickly for further analysis.
</p><p>
The coverage file viewer is the place where the user can invoke the toggle, memory,combinational logic, FSM and/or
assertion detail windows. To view one of these windows, do the following:
</p><p>
</p><div class="orderedlist"><ol type="1"><li><p>
Select either the <span class="bold"><strong>Toggle</strong></span>, <span class="bold"><strong>Memory</strong></span>,
<span class="bold"><strong>Logic</strong></span>, <span class="bold"><strong>FSM</strong></span> or
<span class="bold"><strong>Assert</strong></span> coverage metric selection button in the
<a href="chapter.gui.main.html#section.gui.main.covbar" title="17.2. The Coverage Type View Bar">coverage bar</a>.
</p></li><li><p>
Select a module/instance that contains uncovered code in the <a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a>.
</p></li><li><p>
In the coverage file viewer, find code that is highlighted as being uncovered.
</p></li><li><p>
Left click on the uncovered piece of logic. Doing so will automatically bring up either the
<a href="chapter.gui.toggle.html" title="Chapter 19. Navigating the Toggle Coverage Window">toggle</a>, the <a href="chapter.gui.memory.html" title="Chapter 20. Navigating the Memory Coverage Window">memory</a>, the
<a href="chapter.gui.logic.html" title="Chapter 21. Navigating the Combinational Logic Window">logic</a>, the <a href="chapter.gui.fsm.html" title="Chapter 22. Navigating the FSM State/State Transition Coverage Window">FSM</a> or the
<a href="chapter.gui.assert.html" title="Chapter 23. Navigating the Assertion Coverage Window">assertion</a> verbose coverage windows.
</p></li></ol></div><p>
</p><p>
Additionally, the logical blocks that have been disregarded by Covered due to a potential race condition existing
are highlighted. By placing the cursor over one of these logical blocks, the reason for why the logical block was
disregarded is output in the <a href="chapter.gui.main.html#section.gui.main.infobar" title="17.5. The Information Bar">information bar</a>.
</p><p>
To view a new module/instance, simply left click on one in the Module/Instance Listbox. The source code for the
selected module/instance will be immediately loaded into the coverage file viewer in the currently selected
coverage metric.
</p><p>
To view a new coverage metric, simply left click on one of the coverage metrics in the Coverage Type Bar. The
currently selected module/instance will be immediately updated in the coverage file viewer, highlighting the
uncovered/covered code for the current metric.
</p><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.viewer.search.uncov"></a>Searching for an Uncovered Line in the Coverage Viewer</h3></div></div></div><p>
To find the next or previous line containing uncovered logic for the current metric mode, click the
left arrow (Previous) or right arrow (Next) buttons. Doing so will cause the next or previous uncovered line to
be visible in the Coverage File Viewer. Clicking these buttons has the same effect as the "Next Uncovered" or
"Previous Uncovered" menu items in the <a href="chapter.gui.main.html#section.gui.main.viewmenu" title="The View Menu">view menu</a>.
</p></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="section.gui.main.viewer.search.string"></a>Searching for a String in the Coverage Viewer</h3></div></div></div><p>
The Coverage Viewer contains a find (magnifying lens) button, an entry field, and a
clear (X) button for performing text searches in the Coverage File Viewer. The user
may type in any string (wildcards and pattern matching is not supported) in the entry field. Hitting the "return"
key or the find button will cause the string search to commence.
</p><p>
If a match to the search value is found, it is made visible in the Coverage File Viewer and highlighted. The
user may search on the value again by clicking the find button. To clear the current value in the entry field, click
on the clear button. If a match occurs, the specified value in the entry field will remain until either a new value
is entered or the clear button is clicked. If a match was not found for the given string, a message window will
pop-up specifying that the given string was not found. Clicking the <span class="bold"><strong>OK</strong></span> button will
cause this message window to close and the entry field will automatically be cleared.
</p></div></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.main.infobar"></a>17.5. The Information Bar</h2></div></div></div><p>
The information bar at the bottom of each window in the report viewer provides information about the current mode,
file, or operation the user should take next. All information is state and context sensitive. If you are in doubt
of what to do next, first see the information bar.
</p><p>
</p><div class="figure"><a name="figure.gui.main.infobar"></a><p class="title"><b>Figure 17.14. Covered Main Information Bar</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/main_info.gif" alt="Covered Main Information Bar"></div></div></div><p><br class="figure-break">
</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.intro.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.line.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 16. Introduction to the GUI </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 18. Navigating the Line Coverage Window</td></tr></table></div></body></html>
|