/usr/share/covered/doc/html/chapter.gui.toggle.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 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 19. Navigating the Toggle 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.line.html" title="Chapter 18. Navigating the Line Coverage Window"><link rel="next" href="chapter.gui.memory.html" title="Chapter 20. Navigating the Memory 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 19. Navigating the Toggle Coverage Window</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.gui.line.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.memory.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.toggle"></a>Chapter 19. Navigating the Toggle 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.toggle.html#section.gui.toggle.layout">19.1. Understanding the Layout</a></span></dt><dt><span class="sect1"><a href="chapter.gui.toggle.html#section.gui.toggle.excl">19.2. Excluding/Including a Signal for Toggle Coverage</a></span></dt><dt><span class="sect1"><a href="chapter.gui.toggle.html#section.gui.toggle.display">19.3. Displaying a New Signal for Toggle Coverage</a></span></dt></dl></div><p>
The verbose toggle window allows the user to see which bits for a given signal have toggled from a 0->1 or a
1->0 during simulation. To display this window, simply click on a highlighted/underlined uncovered signal 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. This will cause the verbose toggle viewer to be created
for the specified signal as well as display a "-->" symbol in the Coverage Viewer on the same line as the selected
signal. This symbol is simply meant to help the user identify in the Coverage Viewer which signal is currently
displayed in the Toggle Viewer window. <a href="chapter.gui.toggle.html#figure.gui.toggle" title="Figure 19.1. Verbose Toggle Window">Figure 19.1, “Verbose Toggle Window”</a> shows the Toggle Viewer loaded with a
4-bit signal called "err_vec" in which bits 3:2 have successfully toggled from a 0->1.
</p><p>
</p><div class="figure"><a name="figure.gui.toggle"></a><p class="title"><b>Figure 19.1. Verbose Toggle Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/toggle_full.gif" alt="Verbose Toggle 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.toggle.layout"></a>19.1. Understanding the Layout</h2></div></div></div><p>
The bit vector displayed is a binary bit vector, each value (0 or 1) represents whether that bit in the signal
either toggled (1) or did not toggle (0) during simulation. There are two bit vectors displayed for the signal,
the top vector shows the 0->1 toggle information while the bottom vector shows the 1->0 toggle information.
</p><p>
The name of the signal along with its MSB:LSB information is displayed at the bottom of the window; however, if the
mouse cursor is placed over a specific bit in the toggle box, the MSB:LSB will be changed to show the displayed
bit, making it easy for the user to discern exactly which bit has toggled/not toggled. If the width of the signal
exceeds the given space for the toggle window, a scrollbar will be allowed to slide left and right to view the rest
of the toggle information.
</p><p>
To exit this window, simply click on <span class="bold"><strong>Close</strong></span> button. To see this help page from the
toggle 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.toggle.excl"></a>19.2. Excluding/Including a Signal for Toggle Coverage</h2></div></div></div><p>
The user may exclude/include any uncovered signal in the design for toggle coverage by simply clicking on the
<span class="bold"><strong>Excluded</strong></span> checkbutton. If this checkbutton is checked, the
<a href="chapter.gui.exclude.html" title="Chapter 29. The Exclusion Reason Popup Window">exclusion reason popup window</a> will be displayed, allowing the user to
specify a reason for excluding this signal from toggle coverage. Once a reason has been specified, the summary
coverage information will automatically be recalculated and redisplayed in the
<a href="chapter.gui.main.html#section.gui.main.listbox" title="17.3. The Module/Instance Listbox">listbox</a> and the background color of the underlined signal in the
<a href="chapter.gui.main.html#section.gui.main.viewer" title="17.4. The Coverage File Viewer">file viewer</a> will change from the uncovered background color to the
covered background color. However, the signal will still remain underlined, allowing the user to see the verbose
toggle coverage information, if necessary. If the <span class="bold"><strong>Excluded</strong></span> checkbutton is
unchecked, the summary coverage information and background colors will be readjusted to include the coverage
information for this signal.
</p><p>
If the user excludes any signal for toggle coverage 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 signals have been excluded/included for toggle
coverage. Additionally, if a saved CDD file with coverage exclusion is merged with another CDD file, the excluded
signal information is preserved for the resulting merged CDD file.
</p><p>
If a signal has been excluded from coverage and an exclusion reason was specified, you can view the reason for exclusion
by right-click-and-holding on the <span class="bold"><strong>Excluded</strong></span> checkbutton. This will cause a tooltip-style
window to be displayed specifying 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 release the button.
</p></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.toggle.display"></a>19.3. Displaying a New Signal for Toggle Coverage</h2></div></div></div><p>
If the Verbose Toggle Coverage window is currently displayed with a signal, the user may select a new signal 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 signal is selected, its value immediately
replaces the currently selecting signal value. This feature allows many different signals to be viewed one after
the other without having to create/destroy a new window for each signal.
</p><p>
The user may also see the previous or next uncovered signal 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.line.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.memory.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 18. Navigating the Line Coverage 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 20. Navigating the Memory Coverage Window</td></tr></table></div></body></html>
|